Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > BALABONSKI Thibaut
Présentation
M. BALABONSKI Thibaut
BALABONSKI Maître de Conférences
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169154203
Fax :
Bureau : 70/PCRI-S

Page personnelle :
Courrier électronique : Thibaut.Balabonski@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Test formel basé sur les modèles
   - Vérification déductive de programmes
   - Compilation et optimisation des programmes


Projets
   - Toccata





Responsabilités de contrats
   - AAP ATTRACTIVITE 2016
   - GDR7161/G673


Logiciels et brevets
   - Pactole : Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.