Axes de recherche

Calcul

Les modèles de calcul décrivent l'exécution d'un programme.

Parmi ceux-ci, les modèles de coordination, les modèles de jeu (interaction entre programmes et leur environnement). Ils servent à la conception de langages et à leur implémentation.

• projets en cours : 1
• projets terminés : 2

Logique pour l'informatique

La logique pour l'informatique est utilisée notamment pour la spécification de programmes, pour le raisonnement artificiel, dans la programmation logique.

On utilise les logiques modales, temporelles, temps réel, de défaut, etc.

• projets en cours : 2
• doctorats en cours : 1
• projets terminés : 7
• doctorats terminés : 3

Sémantique des langages informatiques

La sémantique des langages informatiques précise le sens des langages utilisés en informatique.

On distingue usuellement trois type de sémantiques: dénotationnelle (précise les objets décrits), opérationnelle (décrit les calculs à effectuer), axiomatique (donne des règles de raisonnement)

• doctorats en cours : 1
• projets terminés : 7
• doctorats terminés : 2