Research Group Sofronie-Stokkermans

Formal Methods and Theoretical Computer Science

The objective of our research is to provide methods and tools for the rigorous verification of complex systems. For this, we develop methods for:

• Modeling and (modular) verification of complex systems
• Modular reasoning in complex theories

We analyze the applicability of our results in verification (of programs, but also of real time or hybrid systems), in mathematics, databases, and cryptography (ongoing work).