Benedikt Bollig
Benedikt Bollig
Directeur de Recherche au CNRS
Directeur de Recherche au CNRS
I am interested in the interaction between formal methods and artificial intelligence. My current focus is on model discovery, particularly for biological systems.
I am interested in the interaction between formal methods and artificial intelligence. My current focus is on model discovery, particularly for biological systems.