UMONS > Faculté des sciences >Département d'Informatique >Aaron Bohy

Changer de langue: Fr|En

     Aaron Bohy


I am a research fellow at the Computer Science Department of the Science Faculty of the University of Mons (UMONS). I am part of the Theoretical Computer Science team, led by V. Bruyère. I defended my PhD thesis, entitled Antichain based algorithms for the synthesis of reactive systems, in June 2014. My thesis was supervised by V. Bruyère, T. Brihaye (UMONS) and J.-F. Raskin (ULB).


My thesis takes place in the field of verification of reactive systems and more precisely the application of game theory in verification. I am especially developing the Acacia+ tool that provides an implementation of antichain-based algorithms for the realizability and synthesis problems from LTL specifications with mean-payoff objectives.


My publications on DBLP and on the UMONS database.


Tools and libraries


Main collaborations


I am assistant to the Software Engineering course, dispensed by T. Mens (online resources).


Aaron Bohy

Email: aaron.bohy replaceBy@
Tel: +
Fax: +

Localization           Postal address
Département d'Informatique Département d'Informatique
Université de MonsUniversité de Mons
Building Le Pentagone
Avenue du champ de mars, 6Place du Parc, 20
7000 Mons7000 MONS