Equipe 4 : Modèles, Calcul, Algorithmes et Preuve

Problématique de recherche

Les axes de recherche principaux de l'équipe font partie de domaines de recherche fondamentale de l'informatique théorique. Le but principal des recherches est de mieux comprendre et de mieux développer des objets théoriques d'informatique reliés plus ou moins à la notion de calcul : construction et analyse d'algorithmes, modèles de calcul, sémantique de programmes et preuve (démonstration automatique).

Objectifs, missions et activités attendus

Le premier but de cette thématique variée est d’étudier la puissance des modèles de calcul classique (Machines de Turing, Fonctions récursives, Lambda-Calcul …) et certains modèles non classiques comme les automates cellulaires et les systèmes de réécriture ou d’autres modèles issus de la physique. L'une des questions les plus naturelles qui se posent est la question de calculabilité et de décidabilité, et une autre fondamentale, est de savoir si un modèle de calcul est adapté à la modélisation de systèmes. On parle alors d'expressivité. Dans ce contexte, deux domaines d’investigation privilégiés sont à étudier: l’algorithmique et la preuve.

Liste des membres (le chef d'équipe en premier, ordre décroissant du grade, ensuite alphabétique)