Modern Architecture

Benedikt Bollig

Directeur de recherche au CNRS

  • Liknedin
  • Twitter

Laboratoire Méthodes Formelles (LMF)

ENS Paris-Saclay

Université Paris-Saclay

Research Interests

My research is centered around formal methods for system design and verification, with a focus on logic, automata theory, and grammatical inference.

My current interest is mainly in the interaction between the fields of formal methods and machine learning. I am particularly interested in their application to discovering and modeling biological systems.