Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PELLE Robin
About LRI
Mr PELLE Robin

Warning: this member left the laboratory on 31/12/2020
 
Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 75/PCRI-S

Personal web page :
Email : Robin.Pelle@lri.fr









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


Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Contribution to the formal modelling of mobile robot swarms