Stefan Haar
Senior Researcher (DR2) INRIA
Head of MExICo team
include.html
Research Subjects
- Petri net theory, in particular occurrence nets
- Concurrency theory
- Process Mining
- Diagnosis and Diagnosability
- Stochastic discrete event systems
- Formal methods for Systems biology and synthetic biology
Short CV
I studied Mathematics, Philosophy and Computer science at Hamburg U/Germany and at Johns Hopkins University, USA.
My PhD in Computer science is from Hamburg University in 1997; after a postdoctoral period at Humboldt University of Berlin,
INRIA Nancy and ENS Paris, I joined INRIA Rennes as a research scientist in 2001. After a visiting position at Ottawa University/CA in 2007
and another with ALCATEL-Lucent/Bell Labs at Ottawa, I moved to the INRIA Saclay center in 200,8 and founded the MExICo team
at ENS Cachan. My "habilitation" was completed in 2008.
Current PhD Students
Former PhD Students
Some current and past international Activities
Projets
Current:
- INRIA associated team LifeForm with Newcastle University, UK
- ANR Algorecell Cell Reprogramming
Past:
- IRT SystemX WP Multi-Modal Transport Systems (MIC)
- FP7 NoE HYCON 2 Highly-complex and networked control systems
- FP7 Project UNIVERSELF Autonomics for Future Networks
- IMPRO:
Implementability and Robustness of Timed Systems, ANR project
- DiM LSC TECSTES - Testing Concurrent Systems using Event Structures
