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.

Publications