I am a Ph.D. student at TU Wien, supervised by Prof. Maria Christakis. I mastered out of ISTA, formerly IST Austria, which rebrands every few years and is not ista International GmbH, the energy company; the latter at least provides a service.
You can find my CV here.
Most of the things I like to work on live in the domains of formal verification and software engineering. My focus is now on secure n-party computation (n ≥ 2) and automated software testing. Being a musician myself, I also look for ways to use ideas from formal methods in creative fields.
Please visit my Google Scholar page. You can identify me with my ORCID iD.