I'm pursuing my PhD in Computer Science at University of Minnesota where I was awarded my BS in 2020. I have a focus in programming languages and theory. More specifically, my academic interests lie in functional languages, reasoning correctness, and proof assistants.