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

Changer de langue: Fr|En

     Aaron Bohy


Summary

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).

Research

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.

Publications

My publications on DBLP and on the UMONS database.

Thesis

Tools and libraries

Talks

Main collaborations

Teaching

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

Address

Aaron Bohy

Email: aaron.bohy replaceBy@ umons.ac.be
Tel: +32.65.37.34.47
Fax: +32.65.37.34.59

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
BelgiumBelgium