I am an associate 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),
– Software verification,
– Security analysis of systems