i'm david cao (he/him), and i'm a second year undergraduate at UC San Diego with an interest in programming languages and systems. i'm currently doing research in program synthesis and in applying liquid types. nice to meet you!

i've worked on a few things:


open source projects

other work