LACL (Laboratoire d’Algorithmique, Complexité et Logique) is the laboratory of Computer Science at the University Paris-Est Créteil (UPEC), member of PRES Paris-Est. LACL has about thirty permanent staff members and about twenty PhD students and post-doc fellows.

The origin of Computer Science at the University Paris-Est Créteil comes from the desire to recognize and to promote this field both in terms of research and education. In 1990 this desire concretized by the creation of the young team “Fundamental Computer Science”. This team led by Daniele Beauquier and Jean-Claude Fournier was organized around five permanent staff members. The research was focused on algorithms and parallelism in particular on combinatorial algorithms, temporal logic, computer algebra, specification and semantics of parallelism and computational complexity.

The development of the research in Computer Science has been accompanied by the grows of the education offer with the creation of the three main teaching sites: the ESIAG in the late 80s, the Computer Science Department of the IUT Sénart/Fontainebleau in 1993, and the undergraduate degrees in Computer Science at the Faculty of Sciences and Technology in 1995.

The expansion of education in Computer Science, involving the recruitment of a greater number of permanent staff members finally led in 1997 to the creation of a host team, the LACL. This dynamic has been reinforced in 2005 by the creation of a master degree Security in Computer Science closely related to the research activity of the LACL. The laboratory is involved in many international collaborations, research exchange programs, joint supervision of PhD students, post-doctoral fellowships, etc.

The research at LACL is structured around two teams:

• Logic, Computation and Programming
  • Logic
  • Computing models
  • Programming languages
• Systems Specification and Verification
  • Modeling of systems from temporal and/or probabilistic points of view
  • Modeling of concurrent, mobile and/or multi-agents systems
  • Modeling of software and information systems
  • Parallelism and cloud computing