Danny Bøgsted Poulsen

  • Home
  • Publications
  • Pictures

Category: Working Life

Formalise 2020

  • Danny Bøgsted Poulsen
  • July 14, 2020
  • Working Life
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...
Read More

Experiences in Online Supervision

  • Danny Bøgsted Poulsen
  • April 30, 2020
  • Working Life
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...
Read More
Paper Accepted at RP19

Paper Accepted at RP19

  • Danny Bøgsted Poulsen
  • July 21, 2019
  • Working Life
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...
Read More
ETAPS 2019

ETAPS 2019

  • Danny Bøgsted Poulsen
  • April 14, 2019
  • Working Life
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...
Read More
FLoC2018

FLoC2018

  • Danny Bøgsted Poulsen
  • July 18, 2018
  • Working Life
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...
Read More
Paper Accepted

Paper Accepted

  • Danny Bøgsted Poulsen
  • April 11, 2018
  • Working Life
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...
Read More
Writing Papers with LaTex

Writing Papers with LaTex

  • Danny Bøgsted Poulsen
  • October 18, 2017
  • Working Life
I have been writing a lot of Latex code lately, and thought I would write about my Latex setup.
Read More
The joy of flexible working hours

The joy of flexible working hours

  • Danny Bøgsted Poulsen
  • August 23, 2017
  • Working Life
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...
Read More
  • Facebook
  • Instagram
  • ResearchGate
  • Google Scholar
  • Work Email
  • Private Email
  • Youtube
Copyright © All Rights Reserved.

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

  • Blog
  • Pictures
  • Publications
  • Welcome