I was a Ph.D. candidate at the Institute of Science and Technology Austria (ISTA), supervised by Tom Henzinger, and am mastering out.
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.