It is 8:59:29 AM in Berkeley, CA
Listening to NOHOE by D-Lo
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.
Writing
2025-01-27
& 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