Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… et Vérification (LSV, then part of ENS Cachan), which, in 2021, merged with the VALS team (Verification and Validation … ecology Stefan Haar's work has also led him, since 2020, to model systems for ecological projects. “Current … (ISN) Graduate School (GS) at Université Paris-Saclay in 2020. This GS is backed by teams in 22 research units, which …Published on: Thu 05/05/2022 - 15:16