I am a third-year PhD student at The University of Texas at Austin. My research lies at the intersection of automated theorem proving, 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, Brazilian Jiu Jitsu, cooking, and (most importantly) eating. Recently, I’ve taken an interest in photography. I’m also a big fan of Star Wars and mixed martial arts.