Stefan Haar

Stefan Haar is a researcher at the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec and Inria) and serves as Deputy Director of Research at the Computer Sciences Graduate School at Université Paris-Saclay. His work bridges theoretical computer science with practical applications in biological and ecological systems.

Haar specializes in formal methods and discrete event dynamic systems, with particular focus on Petri nets theory. His research spans multiple domains including concurrent systems modeling, automatic control applications for network supervision, systems biology for cell reprogramming studies, and ecological modeling for colony survival prediction. He has developed novel formal methodologies that connect continuous systems with discrete abstractions, creating what he describes as the "most permissive" approach to modeling complex transitions.

Throughout his career, Haar has established significant research collaborations with institutions including Institut Curie, University of Luxembourg, INRAE, and Université d'Évry. His current work at the Computer Sciences Graduate School encompasses a wide range of subject areas including program security, distributed systems, Internet of Things, high-performance computing, digital health, and computer science for ecological transition.

Haar has held positions across multiple institutions including Humboldt University in Berlin, Inria in Nancy/Paris/Rennes, University of Ottawa, and Alcatel-Bell Labs. In 2010, he created the Modelling and exploitation of interaction and concurrency project team, focusing on asynchronous supervision of distributed computing systems.