irif.fr
Computer science research lab studying the foundations of computing, run jointly by CNRS and Université Paris Cité
Highlights
- New on EvolcAdded 2026-10-28
About irif.fr
IRIF is a research unit (UMR 8243) between CNRS and Université Paris Cité, and it hosts an Inria project-team. Its research studies the foundations of computer science, including logic, type theory, automata and dynamical systems, and it presents its seminars and talks publicly.
The lab is an academic public research body, not a commercial company. Its members are researchers and academic staff, and it publishes news on awards, grants and publications, along with a seminar agenda.
The lab has nearly two hundred members. Seven of them have received European Research Council grants, three are members of the Institut Universitaire de France, two are members of Academia Europaea and one is a member of the Académie des sciences.
Jobs at irif.fr
More other companies
irisa.fr
Computer science research laboratory in Brittany, France, with researchers from Rennes universities, CNRS and InriaNew on Evolcirit.fr
Public computer science research lab in Toulouse, France, covering AI, autonomous systems, cybersecurity and digital modellingNew on EvolcIroise Ventilation
Ventilation cleaning and disinfection services for businesses and public institutions in BrittanyNew on Evolciscpif.fr
Research institute supporting interdisciplinary complex-systems research and providing shared services to researchersNew on EvolcIsere Nettoyage Services
Industrial cleaning and facility services for businesses in Grenoble and IsèreNew on EvolcISOCOOL973
Refrigeration, air-conditioning and ventilation installation and maintenance for commercial and industrial customers in MatouryNew on Evolc
Website technologies
Older, unverified list. Detection dates and supporting evidence are not yet available.
- AWS
- Apache
- Bootstrap
- Cloudflare