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.