Régine Laleau

Professor at Université Paris-Est Créteil

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

Régine Laleau
Université Paris-Est Créteil, IUT Sénart-Fontainebleau
Département Informatique
Route forestière Hurtault
F-77300 Fontainebleau
France
Phone: +33.(0)1.60.74.68.40 (office)
Mobile: +33.(0)6.67.77.44.80
Fax: +33.(0)1.60.74.68.28
E-mail: laleau@u-pec.fr


Research : Formal methods and Information Systems

Publications


PhD Supervision

Research Projects




Enseignement/Teaching