About Me

Hey y’all! I’m a 1st year graduate student in the Electrical and Computer Engineering Department at the University of Michigan - Ann Arbor. My advisor is Professor Inigo Incer. I’m interested in using formal methods and other mathematical techniques for rigorous design and verification of complex systems.

Previously, I obtained my Bachelor’s in Mathematics from the Georgia Institute of Technology (go jackets!). Other than thinking about math, I like to swim, day-hike, play video games, and play the piano for fun.

---