Georges Gonthier

Directeur de recherche à l'Inria Rocquencourt Responsable scientifique du projet Moscova Vice-président du comité des projets de Rocquencourt Professeur chargé de cours à l'École Polytechnique Enseignant du cours Concurrence et Mobilité au DEA SPP

Thèmes de recherche

• Conception de langages de programmation
• Programmation temps-réel et concurrente
• Vérification de programmes concurrents
• Modèles de programmes distribués et mobiles
• Algorithmes de compilation et d'analyse de programmes
• Lambda-calcul et logique linéaire

Coordonnées

This document was translated from L^AT_EX by H^EV^EA.