Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BALABONSKI Thibaut
About LRI
Mr BALABONSKI Thibaut
BALABONSKI Maître de Conférences
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page :
Email : Thibaut.Balabonski@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Formal Model-Based Testing
   - Deductive Verification of Programs
   - Compilation and code optimization


Joint Inria project teams
   - Toccata




Principle investigator
   - AAP 2016 T.B
   - GDR7161/G673


Software & Patents
   - Pactole: Coq formalisation a mobile sensors networks.