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 working with automated resource analysis and applying liquid types. nice to meet you!
i've worked on some other odds and ends too:
open source projects
- seascape: a smarter professor/course evaluation tool for UCSD
- spisbot: a Discord bot made to administrate SPIS 2020 virtually
- elba: a package manager for Idris
other work
- i made a website for ucsd wushu
- i also made a website for the defund sfpd now campaign
- i made a website for ucsd wushu
- i also made a website for the defund sfpd now campaign