• English
  • français


  • English
  • français

Équipe « Logique, calcul et programmation »

Membres - Publications

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.




Adresse :

LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex

Secrétariat :

Flore Tsila
Bâtiment P2 - 2ème étage - bureau 223
Tél : +33 (0)1 45 17 16 47
Fax : +33 (0)1 45 17 66 01

Direction :

Régine Laleau
Bâtiment P2 - 2ème étage - bureau 243
Tél : +33 (0)1 45 17 65 97
Fax : +33 (0)1 45 17 66 01