Vous êtes ici : Langue FRRechercheLaboratoires

Laboratoire d'Algorithmique, Complexité et Logique (LACL) - EA 4219

Adresse :
Université Paris-Est Créteil Val de Marne (UPEC)
61, avenue du Général de Gaulle
94010 Créteil Cedex
Tél :
+33 (0)1 45 17 16 63
Fax :
+33 (0)1 45 17 66 01
Mail :
direction-lacl@lacl.fr
Sur Internet :
http://lacl.u-pec.fr

Informations générales

Structure(s) de rattachement :

UPEC - UFR des Sciences et technologie

Organisation

Responsable(s) : Composition de l'équipe :

Activités

Axe(s) de recherche

STIC et mathématiques

Thèmes de recherche

Les thèmes de recherche du laboratoire s'organisent autour de la définition et l'étude d'outils pour la modélisation formelle de systèmes.

Le laboratoire comporte deux équipes :
- "Logique, Calcul et Programmation" : définition et l'étude de modèles formels (calcul spatial, théories logiques, automates...)
- "Spécification et Vérification de Systèmes" : étude et le développement de techniques et de méthodologies formelles d'analyse, de conception et de vérification pour différents types de systèmes (parallèles, concurrents, distribués, probabilistes, ...)