Équipe « Logique, calcul et programmation »

MembresPublications

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

Logique

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.

Modèles de calculs

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.

Langages de programmation

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.