| CARVIEW |
Select Language
HTTP/2 200
accept-ranges: bytes
age: 2
cache-control: public,max-age=0,must-revalidate
cache-status: "Netlify Edge"; fwd=miss
content-encoding: gzip
content-type: text/html; charset=UTF-8
date: Mon, 29 Dec 2025 09:21:46 GMT
etag: "cdd3d552c4f458d4c681b215413f3eb9-ssl-df"
server: Netlify
strict-transport-security: max-age=31536000
vary: Accept-Encoding
x-nf-request-id: 01KDMPKR58BNRYHYCD5Y55QWZK
David Cao
Photo by Claire S. Burke
I'm David (they/he), and I'm a PhD student in Computer Science at UC Berkeley, advised by Sarah E. Chasins. I'm thinking about how to design programming tools that give community organizers and members agency over their computing futures. Previously, I was a Computer Science and Ethnic Studies student at UCSD.
& Work
2024
David's PL Notes. A website with my study notes for the 2024 Berkeley PL Prelim.
2023
Became fellow of the Computational Research for Equity in the Legal System program.
2023
Began PhD at UC Berkeley as a Chancellor's Fellow.
2022 – 2023
Worked as Campus Diversity Engagement Coordinator at SPACES.
2023
Finalist for the Outstanding Computing Researcher award.
2022
Type-directed program synthesis for RESTful APIs. Published at PLDI 2022.
2022
Automated Dependent Resource Analysis (virtual poster). 2nd Prize at POPL 2021 SRC.
2021
Created website for Science Policy Group at UCSF.
2021
Created website for UCSD Wushu.
& Play
2023
2022
2022
2022
2021