Benedikt Bollig
Directeur de recherche au CNRS
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.