David DELAHAYE
Responsable
Équipe centrée sur la notion de preuve et ses utilisations, en particulier en vérification logicielle et IA (TALN)
Staff
Richard Moot, Chargé de recherche, CNRS
Simon Robillard, Maître de conférences, UM
David Delahaye, Professeur des universités, UM
Associates and Students
Maximos Skandalis, CNRS
Loic Allegre, UM
Romain Sidhoum, UM
Regular Co-workers
Vincent Blazy, ATER, UM
Clemence Gerardin, CDD Ingénieur-Technicien, UM
Christian Retoré, Invité longue durée Eméritat, UM