Benedikt Bollig
Directeur de recherche au CNRS
Research Topics
I am interested in the interaction between formal methods and artificial intelligence. My current focus is on model discovery, particularly for biological systems.
News
Our startup project innatelogic has been selected for the RISE program of CNRS Innovation.
Activities
Recent
FM meets AI Track co-chair of FM 2023
Workshop co-chair of ETAPS 2023
2020 & 2021
since 2019
2018 & 2019
2018 – 2019
2011 – 2015
President of ANR Comité d’évaluation scientifique 48 (AAPGs 2020 and 2021)
Co-leader of axis Scilex of Labex DigiCosme
Member of ANR Comité d’évaluation scientifique (2018: CES 40; 2019: CES 48)
Member of Conseil académique de l’Université Paris-Saclay
Member of Commission scientifique
Publications
Awards
-
Best paper award at CONCUR 2020 for the article Bounded Reachability Problems Are Decidable in FIFO Machines (joint work with Alain Finkel and Amrita Suresh)
-
Best paper award at CONCUR 2018 for the article It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with “Happened Before” (joint work with Marie Fortin and Paul Gastin)
Contact
Information
Laboratoire Méthodes Formelles
ENS Paris-Saclay
4, avenue des Sciences
91192 Gif-sur-Yvette
France