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...

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...

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...

Paper Accepted

Yay, I got my paper “Statistical Model Checking of LLVM Code” accepted for publication. The paper presents the tool, Lodin. A tool that performs both explicit-state model checking and Statistical model checking...

Writing Papers with LaTex

I have been writing a lot of Latex code lately, and thought I would write about my Latex setup.

The joy of flexible working hours

One of the nice things about my job as a post doc is my working hours: I can work whenever I want and whereever I want (with the small detail that I...

This website uses cookies. By continuing to use this site, you accept our use of cookies.