Thèmes de recherche

Les activités de recherche de l'équipe Contraintes et Preuves s'organisent autour des axes suivants:

Validation et vérification de programmes

Optimisation sous contraintes

Algorithmes pour des systèmes de contraintes spécifiques