I am a software engineer and computer scientist based in London, UK. I'm currently working on static analysis tools at Meta.
I earned a PhD in Computer Science from the University of Colorado Boulder in 2022, where I was advised by Professor Bor-Yuh Evan Chang as a member of the CUPLV group. Before that, I graduated from Williams College in 2015 with a BA in Mathematics and Computer Science.
Feel free to get in touch over email or twitter if you're looking for something here that seems to be missing -- this website is less frequently updated than it once was!
I am interested in building static analysis tools and formalisms that are able to handle the complexities of modern software development. My dissertation focused on incremental and demand-driven abstract interpretation.
I've worked in the past on a range of program analysis topics in both academia and industry, including static analysis of dynamic languages, refinement type systems, type inference, and goal-directed analysis.