Membres – Publications

Cette équipe organise ses travaux de recherche autour de trois grands axes de recherche :

Cet axe se focalise sur

1. la définissabilité dans les théories logiques du premier ordre et monadique de second ordre,
2. la décidabilité de certaines structures dans ces théories, et
3. l’étude de la maximalité dans les structures logiques décidables.

Cet axe étudie différents modèles de calcul comme les systèmes à insertion/suppression, les automates cellulaires, les Abstract State Machines (ASM) et les systèmes à membranes afin de caractériser leur puissance, leur complexité ou le degré de chaos qu’ils peuvent engendrer.

Cet axe étudie

1. la théorie des types et les preuves de programmes écrits dans des langages impératifs,
2. la définition formelle de la notion d’algorithme et de simulation pas à pas, et
3. l’élaboration d’un langage pour le calcul spatial.