Danny Bøgsted Poulsen

  • Home
  • Publications
  • Pictures

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

Rebild Bakker

  • Danny Bøgsted Poulsen
  • April 29, 2020
  • Uncategorized
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...
Read More
Papers Accepted and Virtual Conferences

Papers Accepted and Virtual Conferences

  • Danny Bøgsted Poulsen
  • March 13, 2020
  • Uncategorized
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...
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
Two Travel Thoughts

Two Travel Thoughts

  • Danny Bøgsted Poulsen
  • November 27, 2018
  • Uncategorized
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...
Read More
The quest to reduce paper usage

The quest to reduce paper usage

  • Danny Bøgsted Poulsen
  • October 17, 2018
  • Uncategorized
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...
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
General Data Protection Regulation

General Data Protection Regulation

  • Danny Bøgsted Poulsen
  • May 11, 2018
  • Uncategorized
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....
Read More

Posts navigation

1 2 3 Next
  • 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