Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT service
Comité científico
Comité para el laboratorio
Consejo de dirección
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Estudiantes de doctorado
Noticias
Invitados
Invitados anteriormente
Archivos
Formation
Memoria Anual
Valuación
Our skills
How to works with us
Softwares
Patentes
Start-ups
Empleos
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
Laboratorio de Ciencias de la Computación
Directorio de personal
LAUTER Christoph
Profesor universitario
Equipo :
PEQUAN
Fecha de salida : 01/10/2018
https://lip6.fr/Christoph.Lauter
Fecha de salida : 01/10/2018
3 Doctores 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
.
Publicaciones 2003-2023
Ellas todas
