You have reached my personal website! The information you will find here is mostly about my (academic) work as a (tenured) associate professor at the University of Antwerp.

Interests

My research interests include

• Logic and Automata Theory,
• Formal Verification, and
• Learning Theory (I am a member of the Ellis society).

See my DBLP entry for a list of publications.

What is verification?

Hardware and software systems are hard to design and implement correctly. I study formal logics that can be used to precisely specify what such systems are intended to do, and formal models like automata and games to abstract their behaviour. With my co-authors, we use these mathematical tools to develop algorithms that enable the verification of systems against their specifications.

You can also watch a short video where I describe how I ended up studying verification or this nice video about reachability and verification featuring some of my favorite colleagues.

Research team

I am the head of the Formal Techniques in Software Engineering (FOTS) lab, a part of the AnSyMo research group.

PhD alumni

• Dr. Raphaël Berthon (co-sup’d with Prof. J.-F. Raskin)
• Dr. Ritam Raha (co-sup’d with Dr. N. Fijalkow)
• Dr. Tim Leys
• Dr. Dennis Groß (co-sup’d with Profs. F.W. Vaandrager, N. Jansen)

Verification tools

I am part of the organizational team for the Reactive Synthesis Competition SYNTCOMP for which I have developed the tools AbsSynthe and Acacia-Bonsai.