About Me
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.
Expertise
Organisations
Publications
UT Research Information System
Affiliated Study Programmes
Bachelor
Master
Courses Academic Year 2022/2023
Courses Academic Year 2021/2022
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Drienerlolaan 5
7522NB Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
P.O. Box 217
7500 AE Enschede
The Netherlands