Hello! I’m a Staff Compiler Engineer at Mythic, where I work on compiler infrastructure.

Over the years I’ve worked across application security, cryptography (with a focus on zero-knowledge proofs), distributed systems, program synthesis and analysis, high performance computing, and scientific computing.

Education

I completed an M.S. in Computer Science at the University of Texas at Austin in December 2022, studying Programming Languages in the UToPiA group under Dr. Işil Dillig. My time at UT was funded by the Department of Energy Computational Science Graduate Fellowship (I was a 2020 fellow), where I researched program synthesis, verification, and analysis. Before that, I finished a B.S. in Mathematics at Baylor University in May 2020.

Other Things About Me

I like to run, read fantasy, sci-fi, history, philosophy, and anything else that is fun to talk about! I sometimes play Dungeons & Dragons, regularly play tennis, juggle when I can, love comedy, and spend a lot of my time with my two cats Iris and Hermes.