I'm Markus, a PhD student at NYU working with Joseph Tassarotti. Lately, I have been working on the Clutch logic.
I am broadly interested on formal methods, at present I am interested in methods for proving privacy and security properties of systems at a realistic scale.
Previously, I worked on about automatically translating type-correctness information from the Rust compiler into an explicit memory safety proof, as part of the Prusti project with Alex Summers at UBC.
| Title | Updated | Content |
|---|---|---|
| NESVD Talk: Eris | April 27, 2024 | academics |
| Surviving Your Math Degree | July 14, 2023 | academics |
| Hello World | June 16, 2023 | meta |
I don't have anything to host that I wouldn't put on my blog or cv; my BSc thesis will be online here soon™. In the meantime, here is my cute dog!
