My research area is in formal methods for computer science. This involves modeling and analysis of safety, dependability and security aspects of software-intensive embedded systems by means of model checking, theorem proving and automated testing.
More specifically, I am developing new model checking techniques based on symbolic techniques (e.g. abstraction, confluence, fixpoint equation systems, constraint solving) and high-performance computing (e.g. distributed model checking, multi-core and out-of-core algorithms).
Application domains include embedded systems, distributed systems, including blockchain technology, security protocols, and biological systems.
I have moved to Aarhus University by November 2018.