Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria), et directeur-adjoint … Informatique et sciences du numérique de l'Université Paris-Saclay. Il est spécialiste des méthodes formelles et …Published on: