I am a post-doctoral researcher working at Christian Albrechts University under the supervision of Professor Dirk Nowotka. I received my PhD from Aalborg university. In Aalborg, I was involved in the integration of Statistical Model Checking into Uppaal. This was under the supervision of Kim Guldstrand Larsen and Alexandre David.

Current Research

Currently I am developing the tool Lodin; a software verification tool for LLVM-bitcode. The tool incorporates standard explicit-state model checking techniques along with statistical model checking techniques. Another research topic of mine is Attack-Defense Trees. In particular the development of a stochastic semantics for these, including a translation to Uppaal Timed Automata.