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.
Research
My 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.
My research, mostly in the context of formal methods for trustworthy AI, has been featured in the media too:
- Our “outstanding” AAAI 2025 paper on a decidable class of partially observable Markov decision processes was the topic of two blog posts in Le Monde’s binaire (in French)
- Results from Dennis Groß’ 2020 collaboration with TNO on attacking models for image classification were featured in an article of NewScientist
Group
I am the head of the Automated Reasoning in Antwerp (ARA) lab, a part of the AnSyMo research group.
Current members
- Shrisha Rao (2021-)
- Ramesh Krishnamurthy (2021-)
- Kasper Engelen (2022-)
- Marnix Suilen (2024-)
Join us!
If you are interested in joining the team as a post-doctoral researcher, do contact me. I am particularly keen on supporting FWO postdoc fellowship or MSCA postdoc fellowship proposals.
PhD alumni
- Dr. Florent Delgrange (co-sup’d with Prof. A. Nowé)
- Dr. Gaëtan Staquet (co-sup’d with Prof. V. Bruyère)
- Dr. Tim Leys
- Dr. Dennis Groß (co-sup’d with Profs. F.W. Vaandrager, N. Jansen)
- Dr. Ritam Raha (co-sup’d with Dr. N. Fijalkow)
- Dr. Raphaël Berthon (co-sup’d with Prof. J.-F. Raskin)
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.