Photo of me

Markus de Medeiros

[ github ] [ email ] [ cv ] [ mastodon ]

About Me

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.

Blog Posts

Title Updated Content
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!

Brown dog sitting on a couch

[ ↤ ] [ havoc ] [ bob's club ] [ ↦ ]