Blog – Danny Bøgsted Poulsen

Formalise 2020

Yesterday, I attended my first ever virtual conference (Formalise 20202). Formalise had authors had submit videos presenting their papers such that attendees could asynchronously watch the videos. To simulate physical interactions between...

Experiences in Online Supervision

Working from home is not fun, but it is doable. Supervising student from home on other hand is just plain frustrating. From Aalborg University we do have tool support such as MS...

Rebild Bakker

The corona-virus has forced me to work from home – which I am not enjoying very much. The only good thing about that is spending a lot of time with Rocelyn (although...

Papers Accepted and Virtual Conferences

Very recently I have been so lucky to have two papers accepted – on the same day even – at Formalise and AST respectively. They are both co-located with ICSE and both...

Paper Accepted at RP19

I recently had a paper accepted at RP19. I am very happy about this for a couple of reasons. Firstly, having a paper is always cool. Secondly, and maybe most importantly, this...

ETAPS 2019

Last week I attended ETAPS 2019, where I did a presentation at SPIOT19 (workshop on Workshop on Security practices for Internet of Things). That workshop was just a one-day event, but I...

Two Travel Thoughts

Short story, I travelled to Oslo to meet up with my girlfriend, in order to attend the weeding of a friends of hers. Normally when talking about my travels, I usually end...

The quest to reduce paper usage

Quite some years ago, while I was writing my PhD-thesis I bought my first tablet. Not an expensive, but it was decent at the time. My plan was to use it for...

FLoC2018

In the past week, I attended Federated Logic Conference in Oxford. A huge assembly of some of the most clever people within Logics and Software Verification. LICS and CAV was held as...

General Data Protection Regulation

Last weekend I spend a long time writing a policy how we handle personal data in Aalborg Taekwondo Klub. We required to make such a document due to the new EU regulations....