Modern Architecture

Benedikt Bollig

Directeur de recherche au CNRS

  • Liknedin
  • Twitter

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.

To know more about the project

To know more about RISE 2022

Activities

Recent

FM meets AI Track co-chair of FM 2023

Workshop co-chair of ETAPS 2023

PC member of CSL 2022 and RP 2022

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

Inria Saclay

 
 
 

Publications

Awards

Contact
Information

Laboratoire Méthodes Formelles

ENS Paris-Saclay

4, avenue des Sciences

91192 Gif-sur-Yvette

France

Office : 2S60

Phone: +33 (0)1 81 87 54 32

bollig@lsv.fr

  • LinkedIn
  • Twitter