Welcome to my home page! I am a first year Computer Science PhD student at Stanford University. I am interested in programming languages, formal verification and logic. I did my undergraduate at Davidson College, where I studied Philosophy, Mathematics, and Computer Science. I highly embrace the education philosophy at Davidson College and enjoyed my time there.