Hi! I graduated from Cornell in 2024 and double majored in CS and Classics. You’ve found my webpage. This is a collection of all my CS things. It functions as an online portfolio, and a blog in which I further explain some of my projects. Thanks for visiting!
I am actively looking for roles in software engineering and hardware verification. Some of my interests are formal verification, programming language theory, and computer architecture. You can find my projects here.
How to get in touch with me: write a message to my LinkedIn or send me an email at mmh264@cornell.edu!
