About Me

I am a computer scientist and since 2016 I have been working at the AIT Austrian Institute of Technology as a Research Engineer.

My research interests are formal methods, automated test-case generation and cybersecurity.


I completed my PhD in 2016 at the Institute of Science and Technology, Austria. My supervisor was Thomas A. Henzinger.

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.