Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PELLE Robin
Présentation
M. PELLE Robin

ATTENTION : ce membre a quitté le laboratoire le 31/12/2020
 
Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 75/PCRI-S

Page personnelle :
Courrier électronique : Robin.Pelle@lri.fr









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


Thèses et habilitations
Thèse en cours   - Contribution à la modélisation formelle d'essaim de robots mobiles