ENS Paris-Saclay: Computer Science Department

Editorial

Here starts the english version

Teaching

The Computer Science Department of ENS Paris-Saclay offers a three-year course on fundamental aspects of computer science, with the aim of introducing students to research in computer science.

The first year (L3) gives access to the French licence, it is equivalent to the final year of a Bachelor degree. The second and third year (M1/M2) consist of a research master programme, the Parisian Master of Research in Computer Science (MPRI). While the L3 is taught in French and primarily addressed at French students, the master programme is open to French or international students alike, with courses given in English and French.

Recruitment and Scholarships

We are looking for international students to join our master programme, several scholarship fundings are available. See here for more information. Here ends the english version

News

Prix Ackermann 2024

By msighireanu, on November 12, 2024, at 07:53 PM

The Ackermann Award is the European Association for Computer Science Logic Outstanding Dissertation Award for Logic in Computer Science. It is named after the German mathematician and logician Wilhelm Ackermann known for his work in mathematical logic and the Ackermann function.

For 2024, two former students of the department (admission 2015) are awarded:

  • Gaëtan Douéneau-Tabot for his dissertation Optimization of string transducers supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France),
  • Aliaume Lopez for his dissertation First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions supervised by Jean Goubault-Larrecq (Université Paris-Saclay, ENS Paris-Saclay, LMF) and Sylvain Schmitz (Université Paris-Cité, IRIF).

News

Prix E.W.Beth pour la thèse d'Aliaume Lopez (promo 2015)

By msighireanu, on September 12, 2024, at 01:25 PM

Aliaume Lopez (promo 2015) a reçu le prix 2024 E. W. Beth Dissertation Prize pour sa thèse First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions.

Ce prix, portant le nom du mathématicien hollandais Evert Willem Beth, est accordé depuis 1988 par Association for Logic, Language, and Information (FoLLI) et récompense chaque année une thèse remarquable dans le domaine de la logique, langages formelles et théorie de l'informatiion.

Aliaume a été dirigé dans ces travaux par Jean Goubault-Larrecq au LSV puis LMF et par Sylvain Schmitz à l'IRIF.