Portrait de chercheur ou chercheuse, Recherche
Stefan Haar : Repousser les limites des systèmes à évènements discrets
… du numérique de l'Université Paris-Saclay. Il est spécialiste des méthodes formelles et des systèmes à événements … arrivée, il crée l’équipe-projet Modelling and exploitation of interaction and concurrency (Mexico) qui voit le jour en … France. Elle forme plus de 1 000 étudiantes et étudiants de masters chaque année et près de 500 doctorantes et …Published on: