Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec and Inria), and Deputy … at the Computer Sciences Graduate School at Université Paris-Saclay. He specialises in formal methods and discrete … in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec and …Published on: