Welcome

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