About Me

I am a Post-Doc researcher associated with groups Automation of Logic of MPI Saarbrücken and Dependable Systems and Software of Saarland University, under direction of Professor Holger Hermanns, since Nov. 2012.

Research Interests

Concurrency, Probabilistic Process Algebra, Verification and Model Checking.



  • Instructor(WS, 2013): Quantitative Model Checking
  • PA (Fall, 2011): Introduction to Scripting, Databases and System Architecture
  • TA (Spring, 2010): Algorithms and Data Structures

→ New Homepage