Research of Personal Interest

I am generally interested in the use of formal methods in computer science in particular for building safe and secure systems. This includes the development of methods and tools for designing, specifying, validating and verifying hardware and software systems.

My research interests comprise the three areas System Engineering, Safety and Security, and Formal Methods. Here, my interests range from basic research to applied research and, consequently, I am particularly keen in applying basic research results in industrial environments.

Ongoing work includes, among others, research in the following areas:


Recent Activities: