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.

Before that, I was a PhD student working with Jens Chr. Godskesen at IT University of Copenhagen and Flemming Nielson at Technical University of Denmark.

Research Interests

Concurrency, Probabilistic Process Algebra, Verification and Model Checking.