I am assistant professor in Computer Science at Aalborg University. Before that I worked at Christian Albrechts Universität zu Kiel working with Professor Dirk Nowotka as a Post Doc. 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.
My research includes but, in no meand, limited to:
– Modelling and analysis of timed/concurrent systems,
– String solving (word equations),
– Verification of software (in particular for languages compilable to LLVM),
– Security analysis of systems