Institut national de recherche en sciences et technologies du numérique — France
Computer Science · Physical Sciences
17h-index981citations61works5.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(46), Formal Methods in Verification(20), Logic, Reasoning, and Knowledge(20), Security and Verification in Computing(11), semigroups and automata theory(5)
Publications61 total
Proceedings of the ACM on Programming Languages·2025· 3 citedOpen Access
Journal of the ACM·2024· 8 citedOpen Access
Proceedings of the ACM on Programming Languages·2024· 11 citedOpen Access
SPIRE - Sciences Po Institutional REpository·2024Open Access
SPIRE - Sciences Po Institutional REpository·2023Open Access
arXiv (Cornell University)·2021Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
SPIRE - Sciences Po Institutional REpository·2021Open Access
Electronic Proceedings in Theoretical Computer Science·2021Open Access
2021Open Access
arXiv (Cornell University)·2021Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
Journal of the ACM·2021· 2 citedOpen Access
Journal of Automated Reasoning·2020· 71 cited
Proceedings of the ACM on Programming Languages·2019· 60 citedOpen Access
Proceedings of the ACM on Programming Languages·2019· 43 citedOpen Access
Artifact Digital Object Group·2019· 1 cited
Figshare·2019Open Access
2019· 19 citedOpen Access
Proceedings of the ACM on Programming Languages·2019· 44 citedOpen Access
page 1 of 4Next →
Frequent Co-authors
Nicolas Tabareau(21), Éric Tanter(6), Théo Winterhalter(5), Simon Boulier(4), Yannick Forster(4), Cyprien Mangin(4), Abhishek Anand(3), Andrej Bauer(3), Peter LeFanu Lumsdaine(3), Bas Spitters(3), Pierre-Marie Pédrot(3), Beta Ziliani(3), Kenji Maillard(3), Eric Finster(3), Antoine Allioux(3), Cyril Cohen(2), Jason Gross(2), Michael Shulman(2), Gaëtan Gilbert(2), Jesper Cockx(2)