I am a Post-Doc researcher in the Dependable Systems and Software group led by Holger Hermanns since February 2011.
My main research interests are formal methods applied to security verification and analysis of concurrent probabilistic systems. I am also interested in non-determinism management and limitation of schedulers' power.
You can find me in room 3.27 (Building E1.3)
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|