Summary

I am a research fellow at the Computer Science Institute of the Science Faculty of the University of Mons (UMONS). I am part of the Theoretical Computer Science team, led by V. Bruyère. Since October 2010, I am making a PhD thesis under the supervision of V. Bruyère, T. Brihaye (UMONS) and J.-F. Raskin (ULB).

Research

My research interests are mainly focused on the automata theory and the use of antichains and simulation relations. I am also developing the Acacia+ tool for LTL realizability check and synthesis.

Publications

Talks

• [2011] Acacia+: a tool for LTL synthesis (6th GASICS meeting)

Main collaborations

• Team of V. Bruyère.
• Team of T. Brihaye.
• Team of J.-F. Raskin.

Events

Recent past

2010: 4th GASICS meeting (Paris), AutoMathA'10 (Wien).

2011: 5th GASICS meeting (Mons), GAMES'11 Workshop (Paris), 6th GASICS meeting (Brussels).

Upcoming

Teaching

I am assistant to the Software Engineering course, dispensed by T. Mens.

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
Institut d'Informatique		Institut d'Informatique
Université de Mons		Université de Mons
Building Le Pentagone
Avenue du champ de mars, 6		Place du Parc, 20
7000 Mons		7000 MONS
Belgium		Belgium