CV

Download the full CV as a PDF.

Education

Ph.D. in Computer Science — University of California San Diego, 2018–2025
Advised by Sorin Lerner.
Thesis: Automating Formal Verification in Interactive Theorem Provers

B.A. in Computer Science — Swarthmore College, 2012–2016

Research

Postdoctoral Researcher — University of Edinburgh, 2026–present
AI for formal mathematics: autoformalisation and proof sketching for Isabelle and Lean, as part of Sketchpad.

Publications

A full list with links is on the publications page.