Contrats en cours Type Gestionnaire Acronyme Nom Responsable Début Fin IRL Univ FILOFOCS UPC French-Israeli Laboratory on Foundations of Computer Science Rosén Adi 2019-01-01 2024-12-31 IUF Univ IUF Kesner Delia Kesner Kesner Delia 2018-09-01 2024-12-31 IRP CNRS SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Kesner Delia 2019-01-01 2024-12-31 ANR Univ AdeCoDS Programming, verifying, and synthesizing Adequately Consistent Distributed Systems Bouajjani Ahmed 2019-10-01 2024-12-31 ANR CNRS COMBINé Enumerative combinatorics interacting with Algebra, Number Theory and Physics Lovejoy Jeremy 2020-01-01 2025-03-31 ANR Univ PPS Probabilistic Programming Semantics Ehrhard Thomas 2019-10-01 2024-12-31 IUF Univ IUF Schmitz Sylvain Schmitz Schmitz Sylvain 2019-01-01 2024-12-31 ANR CNRS Algoridam Algorithmic Theory of New Data Models Mathieu Claire 2020-01-01 2024-12-31 ERC CNRS PARQ Lattices in a Parallel and Quantum World Magniez Frédéric 2020-07-01 2025-06-30 ANR CNRS SCENE Secure Computation over ENcrypted Networks Couteau Geoffroy 2021-01-01 2024-12-31 ANR Univ CYPHAI Systèmes cyber-phisique et IA Asarin Eugène 2020-11-01 2025-10-31 ANR Univ COREGRAPHIE COmpression de REseaux et de GRAPHes pour une Informatique Efficace De Montgolfier Fabien 2021-04-01 2025-09-30 ANR Univ MAVEriQ Méthodes d'analyse pour la vérification de propriétés quantitatives Degorre Aldric 2021-03-01 2025-05-31 ANR Univ DIFFERENCE Théorie de la complexité avec des équations différentielles discrètes Laroussinie François 2020-11-16 2026-05-15 ANR Univ DUCAT Calcul distribué sur réseaux à la lumière de la topologie algébrique Fraigniaud Pierre 2021-03-15 2025-03-14 ANR CNRS ASESYC Cryptographie symétrique auditable, sûre & efficace Dagand Pierre-Evariste 2021-10-01 2025-10-31 ANR CNRS RECIPROG Raisonner avec des preuves circulaires pour la programmation Saurin Alexis 2021-10-01 2025-09-30 UE CNRS HPCQS High Performance Computer and Quantum Simulator hybrid Magniez Frédéric 2021-12-01 2025-12-01 ANR CNRS FLITTLA Lois fondamentales de la théorie de l'information à travers le prisme des applications Perifel Sylvain 2021-10-01 2026-03-31 ANR CNRS COMCOPT Méthodes Continues pour l'Optimisation Combinatoire Vladu Adrian 2022-04-01 2026-03-31 ERA-NET CNRS QOPT Quantum algorithms for optimization Magniez Frédéric 2022-05-01 2025-04-30 ANR CNRS QUOPS Algorithmes quantiques pour l'optimisation et l'échantillonnage moderne Apers Simon 2023-01-01 2026-12-31 CIFRE CNRS Remote Technologies Cifre DUBOC Castagna Giuseppe 2021-12-01 2024-11-30 IUF Univ IUF Carton Olivier Carton Carton Olivier 2022-10-01 2027-09-30 ANR CNRS VESYAM Vérification et synthèse de modèles algébriques Shirmohammadi Mahsa 2022-10-01 2026-09-30 PEPR CNRS EPIQ Quantum Software - Study of the quantum stack: Algorithm, models, and simulation for quantum computing Magniez Frédéric 2022-01-01 2027-12-31 ANR Univ TEMPOGRAL Algorithmique des graphes temporels : modèles, questions, résolution Viennot Laurent 2022-10-01 2027-02-28 ANR CNRS CoREACT Coq-based Rewriting: towards Executable Applied Category Theory Behr Nicolas 2022-10-01 2026-09-30 ANR CNRS ISOMA Ising Model on Maps Albenque Marie 2023-01-01 2025-09-30 PEPR CNRS Secure Compute Secure Compute Couteau Geoffroy 2022-07-01 2028-06-30 IEA CNRS IEA INDE IEA INDE Shirmohammadi Mahsa 2023-01-01 2024-12-31 IEA CNRS ALFRED Algorithmes pour des modèles de données restreints Vladu Adrian 2023-01-01 2024-12-31 IEA CNRS ALiMaLiO Sur les limites d'objets appartenant à la classe d'universalité des cartes planaires Albenque Marie 2023-01-01 2024-12-31 AMI Univ QuanTEdu QuanTEdu-France Magniez Frédéric 2022-01-01 2027-12-31 Autre CNRS AMAZON Safe composition of distributed off-the-shelf components Bouajjani Ahmed 2023-03-24 2050-12-31 Industriel CNRS RELATIONALAI Expressive power and complexity of relational languages for querying graphs Libkin Leonid 2023-09-01 2026-08-31 Marie Curie CNRS RANDNET Randomness and learning in networks Albenque Marie 2021-01-01 2026-04-30 EMERGENCE Univ APRAPRAM APRAPRAM Herbelin Hugo 2023-09-01 2025-08-31 EMERGENCE Univ TERVORS Toward Efficient Runtime Verification of Real-time Systems Foughali Mohammed 2023-09-01 2025-08-31 ERC CNRS OBELiSC Overcoming Barriers and Efficiency Limitations in Secure Computation Couteau Geoffroy 2024-09-01 2029-08-31 ANR Univ PaVeDys Vérification paramétrée de systèmes distribues dynamiques Fortin Marie 2023-10-01 2027-09-30 ANR Univ SYMDINAR SYMDINAR Berthé Valérie 2024-10-01 2027-09-30 PEPR CNRS HQI PEPR HQI : Apers Simon 2022-04-01 2028-03-31 ANR Univ PREDICTIONS PREDICTIONS : Rosén Adi 2023-10-01 2027-09-30 CIFRE CNRS BERMOT CIFRE Bermot Elie Apers Simon 2023-09-01 2026-08-31 GDR CNRS GDR IFM GDR IFM - Pierre Fraigniaud Fraigniaud Pierre 2024-01-01 2028-12-31 ANR CNRS CartesEtPlus Combinatoire des cartes, méandres et multicourbes, et ses interactions Chapuy Guillaume 2023-10-01 2028-12-31 AAP CNRS RFACS Refinements for asynchronous concurrent software Bernardi Giovanni 2024-01-01 2024-12-31 ANR CNRS VeriGraph Requêtes et transformations vérifiables pour les graphes Libkin Leonid 2021-10-01 2025-09-30 ANR CNRS DefMal Défense contre les programmes malveillants Touili Tayssir 2022-07-01 2028-07-31 Autre CNRS NR IRIF-MORPHO Krivine Jean 2024-09-01 2025-02-28 ANR Univ SiGraTop SiGraTop Naserasr Reza 2024-09-01 2026-08-31 ANR CNRS A2C Anonymat et l'Authenticité à Travers la Cryptographie Orru Michele 2024-10-01 2028-12-31 IDEX Univ QUILTING QUILTING Dagand Pierre-Evariste 2024-09-01 2026-08-31 ANR Univ ENEDISC Calcul Distribué Énergétiquement Efficace Rabie Mikael 2024-10-01 2028-12-31 STIFTUNG ETHEREUM CNRS Theory and practice of Fiat-Shamir Integrating the SAFE API into the theorical proofs in the IOP model Orru Michele 2024-07-01 2025-08-01 Anciens contrats depuis 2015 Type Gestionnaire Acronyme Nom Responsable Début Fin ERC CNRS GALE Games and Automata for Logic Extensions Colcombet Thomas 2011-01-01 2015-12-31 IRP CNRS STRUCO Structures in Combinatorics Charbit Pierre 2012-01-01 2019-12-31 ANR Univ RAPIDO Reasoning And Programming With Infinite Data Objects Saurin Alexis 2015-01-01 2019-09-30 IRN CNRS LL Linear Logic Ehrhard Thomas 2015-01-01 2022-12-31 ANR Univ FISP The fine structure of formal proof systems and their computational interpretations Parigot Michel 2016-01-01 2019-10-31 IEA CNRS QIP Quantum Information Processing Magniez Frédéric 2017-01-01 2019-12-31 ANR Univ FREDDA FoRmal mEthods for the Design of Distributed Algorithms Sangnier Arnaud 2017-10-01 2023-03-31 ANR Inria MULTIMOD Scalable routing in Multi-Modal transportation networks Viennot Laurent 2018-01-01 2022-06-30 PIA Univ OSTV Open Source Telecom Vendor Chroboczek Juliusz 2016-10-01 2020-10-01 ANR Univ MEALYN Mealy machines, automaton (semi)groups, decision problems and random generation Picantin Matthieu 2013-02-01 2017-01-31 ERC CNRS COMBITOP New Interactions of Combinatorics Through Topological Expansions Chapuy Guillaume 2017-03-01 2022-08-31 ERA-NET Univ QUANTALGO Quantum Algorithms and Applications Magniez Frédéric 2018-03-01 2022-06-30 ANR Univ HOSIGRA HOmomorphisms of SIgned GRAphs Naserasr Reza 2018-03-01 2023-07-31 ERC CNRS QCC Quantum Communication and Cryptography Kerenidis Iordanis 2013-05-01 2018-04-30 ERC CNRS DBA Distributed Biological Algorithms Korman Amos 2015-05-01 2021-04-30 ERC Univ FOVEDIS Formal specification and verification of distributed data structures Enea Constantin 2016-05-01 2022-08-31 Marie Curie Univ POLYBAR A new approach to polymorphism through bar recursion - Valentin Blot Herbelin Hugo 2018-06-01 2019-02-28 SIRTEQ CNRS QML Quantum Machiner Learning - Anupam Prakash Kerenidis Iordanis 2018-07-01 2018-12-31 IUF Univ IUF Bouajjani Ahmed Bouajjani Bouajjani Ahmed 2013-09-01 2018-08-31 ERC CNRS DUALL Duality in Formal Languages and Logic Gehrke Mai 2015-09-01 2020-08-31 CIFRE Univ ATOS Alessandro Luongo Kerenidis Iordanis 2017-09-01 2020-08-31 ANR Univ VECOLIB VErifying Automatically the Correct Use and Implementation of COntainer LIBraries Sighireanu Mihaela 2014-10-01 2018-09-30 ANR Univ PACS Parametric Analyses of Concurrent Systems Habermehl Peter 2014-10-01 2019-09-30 ANR Univ COLIS Correctness of Linux Scripts Treinen Ralf 2015-10-01 2021-03-31 ANR Univ DELTA Défis pour la Logique, les Transducteurs et les Automates Carton Olivier 2016-10-01 2022-06-30 FSMP Univ Postdoc Paz Ami Paz Fraigniaud Pierre 2017-10-01 2019-09-30 Marie Curie Univ RASIR Rule-algebraic Simple Rewriting - Nicolas Behr Krivine Jean 2017-10-01 2019-09-30 ANR Univ DESCARTES Abstraction Layers for Distributed Computing Fauconnier Hugues 2017-10-01 2021-11-30 ANR Univ DISTANCIA Metric graph theory Charbit Pierre 2017-10-01 2023-07-31 ANR Univ QUBIC Quantum Banknotes and Information-Theoretic Credit Cards Kerenidis Iordanis 2017-10-01 2022-03-31 FSMP Univ Postdoc Zetzsche Georg Zetzsche Serre Olivier 2017-11-01 2018-10-31 School CNRS EPIT 2018 Software Verification Spring School Enea Constantin 2018-05-07 2018-05-11 ANR Univ DYNA3S Dynamique des algorithmes du pgcd : une approche Algorithmique, Analytique, Arithmétique et Symbolique Berthé Valérie 2015-10-15 2018-10-14 IEA CNRS ACCA Constraint Analysis through Analytic Combinatorics Ravelomanana Vlady 2017-01-01 2019-12-31 ANR Univ CODYS Orbites des systèmes dynamiques discrets en informatique Berthé Valérie 2018-11-01 2023-12-31 ANR Univ QUDATA Quantum algorithms for massive data Magniez Frédéric 2019-01-01 2024-06-30 ANR Univ RDAM Algorithmic techniques for Restricted Data Access Models Magniez Frédéric 2013-01-01 2017-12-31 ANR Univ CARTAPLUS Combinatoire des cartes et applications Chapuy Guillaume 2013-01-01 2016-01-01 ANR Univ CATHRE Catégories, Homotopie et Réécriture Curien Pierre-Louis 2014-01-01 2017-12-31 ANR Univ COQUAS COmputing with QUAntitative Semantics Pagani Michele 2013-01-01 2016-10-31 ANR Univ EQINOCS Entropie et quantité d'information dans les modèles des systèmes computationnels Asarin Eugène 2011-11-01 2016-05-31 IDEX Univ FOCAL Formalisation du Calcul Algébrique Curien Pierre-Louis 2013-07-01 2016-06-30 ANR Univ FAN Fractals and numeration Berthé Valérie 2013-03-01 2017-02-28 ANR Univ NETOC New Techniques in Online Computation Rosén Adi 2011-11-01 2015-10-31 ANR Univ REVER Programming reversible recoverable systems Krivine Jean 2011-12-01 2015-12-01 ANR Univ TYPEX Typeful certified XML: integrating language, logic, and dataoriented best practices Castagna Giuseppe 2012-01-06 2015-09-05 ANR Univ DCORE Causal debuggers for concurrent systems Krivine Jean 2018-10-01 2024-03-31 ANR Univ QUID Efficient Querying for Incomplete and Inconsistent Data Sirangelo Cristina 2019-04-01 2024-09-30 PEPS CNRS CoLA Combinatorial Lattices and Applications Delcroix-Oger Berenice 2019-03-01 2019-12-31 PEPS CNRS TYGANA Types Gardés : Nouvelles Approches Guatto Adrien 2019-03-01 2019-12-31 PEPS CNRS AAPS Algorithms and Approximations of Probabilistic Systems Shirmohammadi Mahsa 2019-03-01 2019-12-31 PEPS CNRS SDCC Systèmes Dynamiques : Calculabilité et Complexité Pouly Amaury 2019-02-01 2019-12-31 IRN CNRS ALEA Aléa Network Ravelomanana Vlady 2019-01-01 2022-12-31 Autre CNRS TOTAL Contrat spécifique de collaboration Kerenidis Iordanis 2019-06-01 2021-07-31 PEPS CNRS EEE Secure Computation over Encrypted NEtworks Couteau Geoffroy 2020-01-01 2020-12-31 IUF Univ IUF Enea Constantin Enea Enea Constantin 2020-01-01 2021-10-31 Emergence Univ BAD Blockchain et algorithmes distribué Delporte Carole 2020-01-01 2021-12-31 PEPS CNRS TOTTI Towards formal methods against flakiness Bernardi Giovanni 2020-03-01 2020-12-31 PEPS CNRS SPAI Structural Pameterizations in Artificial Intelligence Mitsou Valia 2020-03-01 2020-12-31 PEPS CNRS VUIP Verified Uniform Interpolation Proofs Van-Gool Sam - Férée Hugo 2020-03-01 2020-12-31 CIFRE CNRS EDF Julien Rolland Bouajjani Ahmed 2020-04-01 2023-03-31 Emergence Univ IDiLL Implementing Differentiable Programming out of Linear Logic Pagani Michele 2021-01-01 2022-12-31 GDR CNRS GDR AMA Analyse multifractale et auto-similarité Berthé Valérie 2021-01-01 2023-12-31 PEPS CNRS DisReconf Reconfiguration distribuée et complexité de modèles distribués Rabie Mikael 2021-01-01 2021-12-31 Marie Curie CNRS FINTOINF Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits- Mirna Dzamonja Schmitz Sylvain 2021-04-01 2023-03-31 Autre CNRS INTERCHAIN Constantin ENEA Enea Constantin 2021-03-17 2023-07-16 PEPS CNRS FORMATS Formal Modeling and Analysis of Timed Systems Shirmohammadi Mahsa 2021-01-01 2021-12-31 Emergence Univ PRAXIS Praxis of Programming Languages Dagand Pierre-Evariste 2021-05-05 2022-12-31 Emergence Univ QUBITS Mecanique Qubits Laplante Sophie 2021-01-01 2022-12-31 H2020 CNRS OpenQKD OpenQKD Kerenidis Iordanis 2019-09-02 2022-09-01 CIFRE Univ Colin Gonzales Cifre Nomadic Labs Colin Gonzales Treinen Ralf 2019-09-09 2022-09-08 CIFRE Univ Nomadic Labs Cifre Nomadic Labs Paul Laforge Castagna Giuseppe 2021-02-01 2024-01-31 ANR CNRS QUBOBS Représentations et dispositifs pour la vulgarisation du calcul quantique Laplante Sophie 2022-02-14 2024-05-31 PGMO Univ PGMO-PRMO Improved Sparse Optimisation for Machine Learning Vladu Adrian 2022-09-01 2024-08-31 EMERGENCE CNRS EMORS Efficient Monitoring of Real-time Systems Foughali Mohammed 2023-01-01 2023-12-31 FP7 Univ QALGO Quantum Algorithmics Santha Miklos 2013-05-01 2016-04-30 AMI Univ Promenades Numériques Promenades Numériques Perifel Sylvain 2023-01-01 2023-12-31 ANR CNRS TOPTT TOPTT : van Gool Sam 2023-10-01 2024-09-30 PEPS Univ DOUTEAU PEPS Douteau Douteau Sylvain 2023-01-01 2023-12-31