---
date: 2024-10-01
excerpts: 2
---

# Program Synthesis

A list of prior work I did with my collaborators and Ph.D. students on dependent type theory and program synthesis: [Program Synthesis](../../synthesis/).