Le LACL (Laboratoire d'Algorithmique, Complexité et Logique) est un laboratoire de l'Université Paris-Est Créteil (UPEC), membre du PRES Paris-Est.
La thématique de base du LACL concerne les problèmes de "sécurité et sûreté des systèmes informatiques : fondements logiques, modèles, vérification".
Le laboratoire est structuré en deux équipes :
Les membres du LACL sont en grande majorité enseignants-chercheurs au département informatique de l'UFR de Sciences et de technologie, à l'ESIAG, ou au département informatique de l'IUT Sénart / Fontainebleau. La plupart sont impliqués dans la 2ème année du Master Sécurité des Systèmes Informatiques (SSI) à l'UPEC.
Le LACL appartient à l'école doctorale MSTIC.
| Adresse : | Secrétariat : | Directeur : |
|
LACL, département d'informatique Faculté des Sciences et Technologie 61 avenue du Général de Gaulle 94010 Créteil Cedex |
Flore TSILA Bâtiment P2 - 2ème étage - Porte 223 Tél : 01 45 17 16 47 Fax : 01 45 17 66 01 |
Régine Laleau Bâtiment P2 - 2ème étage - Porte 243 Tél : 01 45 17 65 97 |