I am a full-time researcher at Centre National de la Recherche Scientifique (CNRS) and affiliated with Laboratoire Spécification et Vérification, ENS Paris-Saclay, France. I am head of the VASCO team. My research interests are in the areas of automata theory and logic, with a focus on applications in synthesis and verification of concurrent and distributed systems.
Benedikt Bollig, LSV - CNRS & ENS Paris-Saclay
61 avenue du Président Wilson, 94235 Cachan Cedex, France
Phone: +33 (0)1 47 40 75 38