Institut de Recherche en Informatique Fondamentale (IRIF)


Université Paris Cité

IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team.

The research conducted at IRIF is based on the study and understanding of the foundations of all computer science, in order to provide innovative solutions to the current and future challenges of digital sciences.

IRIF hosts about 200 people. Seven of its members have been distinguished by the European Research Council (ERC), six are members of the Institut Universitaire de France IUF), two are members of the Academia Europæa, and one is member of Académie des sciences.

Follow us on Twitter/X, LinkedIn and Mastodon for our latest news:

LinkedIn Twitter/X Mastodon

Thomas Ehrhard is an invited speaker of the 28th AILA Logic Meeting, which will take place in Udine (Italy) from 3 to 6 September 2024.


Giuseppe Castagna, Pierre-Louis Curien, and Jean-Jacques Lévy all contributed to writing a chapter of the new book “The French School of Programming.” Through a chapter, each of the 13 researchers was able to address the topic of their choice related to programming and software engineering.

Mark your calendar for September 16th. The Day on Probabilities in Theoretical Computer Science is coming! 7 invited speakers will cover a wide range of areas related to TCS and probabilities, including quantum, cryptography, algorithms, and more. To join us, register (free but mandatory) here:

On the occasion of International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, a France 3 Grand Est journalist, made an article : “Connaissez-vous cette discipline entre mathématiques et informatique qui révolutionne notre quotidien ?”.


Lucie Guillou, Arnaud Sangnier and Nathalie Sznajder won the Petri Nets 2024 best paper award for their article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Congratulations !


H. Feree, I. van der Giessen, S. van Gool, I. Shillito won the IJCAR best paper award for their article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Congratulations!

Irif is recruiting! We have a vacancy for a Financial and Accounting Manager (M/F). Come and join us!


Giovanni Bernardi, associate professor at IRIF, has been invited to the IMT Lucca, Italy, to talk about “Constructive characterisations of the must-preorder for asynchrony”. You can follow this conference remotely.

(These news are displayed using a randomized-priority ranking.)

Limited number of events during the Summer break.