Research facility · founded 2016
Institut de Recherche en Informatique Fondamentale
Paris, France · irif.fr//en/index
- Citations, last 5 years
- 2 693
- Works, last 5 years
- 1 136
- h-index
- 55
- Scientists listed
- 2
- Grants since 2016
- 18
Grants received
2025 · research · AAPG2024
Anonymity and Authenticity via Cryptography
Michele Orru · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2024 · research · AAPG2023
Topological spaces of types and terms
Sam Van Gool · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2024 · research · AAPG2023
Symbolic dynamics and arithmetic expansions
Wolfgang Steiner · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2023 · research · AAPG2022
Coq-based Rewriting: towards Executable Applied Category Theory
Nicolas Behr · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2023 · research · AAPG2022
Quantum algorithms for modern optimization and sampling
Simon Apers · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2022 · grant · SAPS
Representations and devices to explain quantum computing
Sophie Laplante · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2022 · research · AAPG2021
Continuous Methods for Combinatorial Optimization
Adrian Vladu · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2022 · research · AAPG2022
Verification and Synthesis of Algebraic Models
Mahsa Shirmohammadi · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2021 · research · AAPG2020
Secure Computation over Encrypted NEtworks
Geoffroy Couteau · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2021 · research · AAPG2020
Methods of Analysis for Verification of Quantitative properties
Aldric Degorre · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2021 · research · AAPG2021
Reasoning with Circular proofs for Programming
Alexis Saurin · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2021 · research · AAPG2021
Auditable, secure & efficient symmetric cryptography
Pierre-Evariste Dagand · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2020 · research · AAPG2019
Probabilistic program semantics
Thomas Ehrhard · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2020 · research · AAPG2019
Algorithmic theory of new data models
Claire Mathieu · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2019 · research · AAPG2018
Quantum algorithms for massive data
Frédéric Magniez · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2019 · research · AAPG2019
Programming, Verifying, and Synthesizing Adequately-Consistent Distributed Systems
Ahmed Bouajjani · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2018 · research · AAPG2018
Computer orbits for Discrete Dynamical Systems
Valerie Berthe · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche
2017 · research · AAPG2017
Quantum Banknotes and Information-Theoretic Credit Cards
Iordanis Kerenidis · Institut de Recherche en Informatique Fondamentale · funded by Agence Nationale de la Recherche