About Me

I am a computer scientist and since 2012 a PhD Student at the Institute of Science and Technology, Austria. My supervisor is Thomas A. Henzinger.

My research interests are formal methods for verification. In particular concurrent program repair (synthesis of synchronisation primitives) with a special interest in device drivers.


I completed my Bachelor and Master at Saarland University in Saarbücken, Germany with an exchange year in Ireland. After my Master degree I worked for two year for Atomia in Niš, Serbia.


In 2008 I completed a 9-month internship at Microsoft Ireland in the Windows International team.

In 2015 I interned at Microsoft Research in Redmond with Rishabh Singh and Sumit Gulwani.