PERSONAL
Manuel Hermenegildo: Research Professor Scientific Director PhD
Manuel Carro: Associate Research Professor Deputy Director PhD
Gilles Barthe: Research Professor PhD
Anindya Banerjee: Research Professor PhD
Juan Jose Moreno: Research Professor PhD
John Gallagher: Research Professor (part time) PhD
Manuel Clavel: Associate Research Professor PhD
Cesar Sanchez: Assistant Research Professor (tenure-track) PhD
Pierre Ganty: Assistant Research Professor (tenure-track) PhD
Aleks Nanevski: Assistant Research Professor (tenure-track)PhD
Boris Köpf: Assistant Research Professor (tenure-track) PhD
Alexey Gotsman: Assistant Research Professor (tenure-track) PhD
Juan Caballero: Assistant Research Professor (tenure-track) PhD
Pavithra Prabhakar: Assistant Research Professor (tenure-track) (on leave) PhD
Pedro López-García: Researcher PhD
Laurent Mauborgne: Researcher PhD
Mark Marron: Researcher PhD
LÍNEAS DE INVESTIGACIÓN
Modelado
.- Lenguajes de modelado con restricciones
.- Seguridad basada en el modelado
Seguridad de Software y Sistemas
.- Seguridad basada en lenguajes
.- Criptografía
Verificación y Validación
.- Depuración y verificación del uso de recursos
.- Verificación en tiempo de ejecución Síntesis
Programación y Optimización
.- Programación basada en abstracciones
.- Optimización rigurosa, incluida la paralelización automática
.- Diseño de lenguajes de programación inspirado en análisis estático