I am a PhD student at The University of Texas at Austin. My research lies at the intersection of automated reasoning, computational mathematics, and their applications to formal verification and security. I also enjoy using ideas from logic and abstract algebra to study problems in computer science. My advisor is Warren A. Hunt, Jr.

I previously received my MSc and BSc at the University of British Columbia in Vancouver, where I was fortunate enough to have Mark R. Greenstreet as my advisor for both degrees. Vancouver also happens to be my hometown.

Outside of math and computer science, my hobbies include travelling, learning Chinese, Muay Thai, Judo, Brazilian Jiu Jitsu, cooking, and (most importantly) eating. I’m also a big fan of sci-fi and mixed martial arts.