Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… of Research at the Computer Sciences Graduate School at Université Paris-Saclay. He specialises in formal methods … and Systems) in the Laboratory for Computer Science (LRI – Université Paris-Saclay and CNRS), thus becoming the … the researcher is working, with colleagues from INRAE and Université d’Évry, on a system model that can regulate the …Published on: Thu 05/05/2022 - 15:16