Accueil
>
Présentation
>
Personnel
> BALABONSKI Thibaut
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. BALABONSKI Thibaut
Maître de Conférences
Université Paris-Saclay
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.
