About Me

I am a computer scientist and since 2023 I have been working as an Applied Scientist for Amazon Web Services in the field of automated reasoning.

Before that I worked as a Research Engineer for the AIT Austrian Institute of Technology in Vienna.

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

Previously

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.

Internships

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.