Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Organograma
LIP6 - Layout
Orientadores
Serviços Administrativos
IT service
Conselho
Conselho do Laboratório
Conselho
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Doutorandos
Novidades
Convidados
Convidados Anteriores
Arquivos
Formation
Relatório Anual
Avaliação
Our skills
How to works with us
Software
Patentes
Start-ups
Empregos
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
Laboratório de Ciência da Computação
Anuário
RIOBOO Renaud
Habilitação (Livre Docência) -
CALFOR
Data de partida : 18/12/2002
https://lip6.fr/Renaud.Rioboo
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique
Defesas
: 18/12/2002
Data de partida : 18/12/2002
2 Doutores em PhD 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
Mapa do site