Campus E1 3, Room 303
Phone: +49 (0)681 302-5586
Fax: +49 (0)681 302-5636
Since April 2012 I am a professor at the Saarland university and head of the group of Modeling and Simulation.
In March 2009 I joined Saarland University to become head of my own research group, “ALMA – Analysis of Markovian Models”, which is part of the cluster of excellence Multimodal Computing and Interaction.
Until February 2009, I have been a postdoc research fellow in Tom Henzinger’s group (MTC) at the École Polytechnique Fédérale de Lausanne (EPFL) after I received my Ph.D. in Computer Science from the University of Mannheim in April 2008.
Since January 2010, I am a principle investigator of the SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems, Transregional Special Research Initiative of the DFG – and a member of the Center for Bioinformatics at Saarland University.
Recent PC memberships:
- 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’13)
- First International Workshop on Hybrid Systems and Biology (HSB’12)in Newcasle upon Tyne, UK
- 16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault Tolerance” (MMB’12) in Kaiserslautern, Germany
- 10th Conference on Computational Methods in Systems Biology (CMSB’12) in London, UK