Site de l'Université > Université > Présentation > Recherche
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 - Courriel :
- laleau@u-pec.fr
- Site Internet :
- http://lacl.u-pec.fr
- Téléphone :
- +33 (0)1 45 17 16 47
- Télécopie :
- +33 (0)1 45 17 66 01
- Rattachement(s) :
-
UFR des Sciences et technologie
Composition
Direction : Régine LaleauAxe(s) de recherche
STIC et mathématiquesLes 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, ...)
Contacts
Recherche d'un laboratoire
mise à jour le 6 mars 2013
