about me

I am currently a post-doctoral researcher in the Formal Methods and Verification group at the Université Libre de Bruxelles under the guidance of Jean-François Raskin. I am also member of the Centré Fédéré en Vérification.
I recently finished my PhD as member of the formal methods group at the Laboratoire Bordelaise de Recherche en Informatique (LaBRI) under the guidance of Anca Muscholl, Grégoire Sutre, and Jérôme Leroux as part of the AVeriSS project. For a more detailed look onto my work on formal methods (and some other fields of scientific interest), I will refer to the sub-page about my research.
If you want more information about me, my work, et cetera, or just want to get in touch with me, please feel free to contact me.

about this site

I am no web developer and do not have the time to assure that each non standard conformant browser renders this page as it is intended to, it has been tested against most current versions of Firefox; please feel free to contact me if there are any typos, errors, dead links, copyright related problems etc.