About me!

Welcome to my website! I'm a Computer Science student at Carnegie Mellon's SCS ('25). While I've been coding since I was 10, I'm pretty new to the whole formalization and theory thing, so I'm still trying to figure out what I like. That said, functional programming and type theory seems pretty cool, so yeah, let's go with that. Thanks for checking out my website! Feel free to take a look around with the links up top and who knows, maybe you'll stumble across some hidden pages ooOOoo