I'm Markus, a PhD student at NYU working with Joseph Tassarotti.
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.
|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!