I am holding a post-doctoral position with Jean-François Raskin and Véronique Bruyère (UMONS) in the Formal Methods and Verification team of the "Département d'Informatique" at ULB. (CV in french)


Recent and submitted works

(drag your mouse above the title to read the abstract)

The Impatient May Use Limited Optimism to Minimize Regret
(with Michaël Cadilhac and Guillermo A. Pérez). 2018. Preprint on arXiv.

Beyond Admissibility: Dominance Between Chains of Strategies
(with Nicolas Basset, Ismaël Jecker, Arno Pauly and Jean-François Raskin). In the proceedings of CSL 2018.
(Long version on arXiv.) .

Earlier works

See DBLP for full list of publications.


I am one of the two teaching assistants for the "Introduction to Formal Languages and Compiling" for M1 students at ULB, given by Gilles Geeraerts . All the course material and info can be found on Université Virtuelle

Contact Information

If you find any dead links or typos on the page or if you did not find what you were looking for (like pdf versions of my publications), feel free to contact me.

  • E-mail: mvdbogaa [at] ulb [dot] ac [dot] be
  • Postal Mail: Campus de la Plaine CP212, ULB Boulevard du Triomphe, 1050 Bruxelles, Belgium