Activité scientifique des équipes

• Groupe de Recherche en Complexité et Cryptographie
• Lambda-calcul typé et langages fonctionnels
• Sémantique et Interprétation Abstraite
• Langages Logiques, Contraintes et Optimisation
• Optimisation et Algorithmique Géométriques
• Logique et Physique
• Spécifications algébriques et Programmation logique