Show Menu
Hide Menu
Home
From the Director
Organisation
LIP6 - Layout
Direction
Administration
IT service
Scientific Board
Governing Board
PhD Board
Location & Contact
Research
Axes & Teams
Publications
PhD students
News
Guests
Previous Guests
Archives
Formation
Annual Report
Valorisation
Our skills
How to works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
image/svg+xml
Home
Staff directory
RIOBOO Renaud
Habilitation -
CALFOR
https://lip6.fr/Renaud.Rioboo
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique
Defence
: 12/18/2002
2 PhD graduated 2010
2010
BLOND Julien
: Outil pour implémentation de logiciels certifiables EAL7.
NOYER Yves
: Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves.
Mentions légales
Site map