I am a Ph.D. candidate at the Institute of Science and Technology Austria (current “ISTA,” former “IST Austria,” possibly changing in another 5 years), supervised by Tom Henzinger.
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 so far has been on monitoring (that is, runtime verification), secure n-party computation (n ≥ 2), and verifiable machine learning. I’ll be happy to explore any of these topics further.
Please visit my Google Scholar page. You can identify me with my ORCID iD.