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