About Me

I am currently a PhD student in Computer Science at Stanford University’s School of Engineering. I work in Caroline Trippel’s lab researching applying formal methods to hardware and software security. Before I entered Stanford CS’s PhD program in 2020, I attended Middlebury College in Middlebury, VT, where I double-majored in Computer Science in Mathematics, graduated Salutatorian and Summa Cum Laude, and received the Timothy T. Huang Award in Computer Science.

I have broad interests in computer security and software/hardware analysis, including:

• Detecting and mitigating Spectre vulnerabilities in code
• Using symbolic execution, fuzzing, and dynamic binary analysis to detect bugs in programs
• Reverse engineering and bug hunting

Some projects I am currently working on:

• Statically detecting vulnerabilities in code using an axiomatic framework
• Automatically lifting timing information from RTL

My origin story as a computer scientist and programmer begins with me learning to code in Z80 assembly on a TI-83+ graphing calculator in high school. As a result, I have a (false) sense of nostalgia for the ``simple days’’ of computing despite missing them by decades. I’ll always have an appreciation for retro computing.