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

Change language: Fr|En

     Aaron Bohy


Résumé

Je suis chercheur au Département d'Informatique de la Faculté des Sciences de l'Université de Mons (UMONS) en Belgique. Je suis membre du Service d'Informatique Théorique, dirigé par V. Bruyère. J'ai défendu ma thèse, intitulée Antichain based algorithms for the synthesis of reactive systems, en juin 2014. Ma thèse fut supervisée par V. Bruyère, T. Brihaye (UMONS) et J.-F. Raskin (ULB).

Recherche

J'effectue ma thèse dans le domaine de vérification de systèmes réactifs, et plus précisément l'application de la théorie des jeux en vérification. Je développe notamment l'outil Acacia+ qui propose une implémentation d'algorithmes basés sur les antichaînes pour résoudre les problèmes de réalisabilité et de synthèse de spécifications LTL avec objectifs mean-payoff.

Publications

Mes publications sur DBLP et sur le Dépôt Institutionnel de l'UMONS.

Thèse

Outils et librairies

Exposés

Principales collaborations

Enseignement

Je suis assistant au cours de Génie Logiciel, dispensé par T. Mens (ressources en ligne).

Adresse

Aaron Bohy

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

Localisation           Adresse postale
Département d'Informatique Département d'Informatique
Université de MonsUniversité de Mons
Batiment Le Pentagone
Avenue du champ de mars, 6Place du Parc, 20
7000 Mons7000 MONS
BelgiqueBelgique