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).

More ...

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.

News

Participation à JITA 2024

By msighireanu, on January 23, 2025, at 08:37 PM

Eleven students of the department presented their research work during the JITA 2024 conference, a "junior" conference on theoretical computer science of the Graduate School ISN.

Warm congratulations to Noémie Catherinot (promo 2023), Basile Schlosser (promo 2023), Pierre Durieux (promo 2023), Maëlle Cornély (promo 2023), Léo Juguet (promo 2022), Sébastien Very (promo 2023), Titouan Lozac'h (promo 2023), Alban Mattei (promo 2023), Thomas Valentin (promo 2023), Thomas Filasto (promo 2022), Jérôme Guyot (promo 2022).