~dcao

hey!

i'm david cao, 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 some other odds and ends too:

research

open source projects

other work