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
LAUTER Christoph
Professor Associado
Equipe :
PEQUAN
Data de partida : 01/10/2018
https://lip6.fr/Christoph.Lauter
Data de partida : 01/10/2018
3 Doutores em PhD 2015 - 2019
2019
JEANGOUDOUX Clothilde
:
Génération automatique de tests pour la certification de codes en aéronautique
.
2017
LOZANOVA VOLKOVA Anastasia
:
Algorithmique de l'implementation fiable de filtres numériques
.
2015
KUPRIIANOVA Olga
:
Vers l'environnement Flottant Moderne
.
Publicações 2003-2023
Toutes
