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 Paris-Saclay, CentraleSupélec and … research potential in the field. It brings together 1,000 Master’s students each year and nearly 500 doctoral …Published on: