Portrait de chercheur ou chercheuse, Recherche
Stefan Haar : Repousser les limites des systèmes à évènements discrets
… Haar est chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, … Graduate School Informatique et sciences du numérique de l'Université Paris-Saclay. Il est spécialiste des méthodes … sabbatique durant laquelle il rejoint l’Université d’Ottawa. Il y travaille sur les méthodes de test de conformité …
Published on: