Formalizing Rust: Subtyping and Variance
A rigorous look at subtyping and variance in Rust through the lens of type theory
Hey! I'm Max. 👋
I study computer science at Carnegie Mellon University. My primary interests include safe systems programming and pedagogy, most notably as an instructor for 98-008: Intro to Rust Lang. As part of a research team within CMU's Software and Societal Systems Department (S3D), my work explores the intersection of cybersecurity and machine learning to build predictive threat models.
When not at the computer, you can find me hiking or tracking down the best boba in Pittsburgh!
Latest Post
Office Hours
Fall 2026 OH for 98-008 Intro to Rust Lang: At select times or by appointment
Contact
For professional inquiries, connect with me on LinkedIn with a note that you came from this website! Alternatively, you may send a message to my email address, which is the URL of this page with .dev replaced by @cmu.edu. My resume is available by request.