Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… Stefan Haar is a researcher in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS … which, in 2021, merged with the VALS team (Verification and Validation of Algorithms, Languages and Systems) in the … which, in 2021, merged with the VALS team (Verification and Validation of Algorithms, Languages and Systems) in the …Published on: