Caleb Stanford

Hi! I'm an assistant professor of computer science at UC Davis.

My primary academic interests are in programming languages and formal methods. I'm particularly interested in applications of these fields to problems in data processing, distributed systems, and computer security.

I graduated in August 2022 with my PhD in computer science at UPenn advised by Rajeev Alur. Before that, I got my ScB in math and computer science from Brown University in 2016.

Article	Contribution	Year(s)	Class
Turing Award	Miscellaneous	2022-2024	FL
Rust (programming language)	Cleanup, Expansion	2022–2024	GA
Yes (band)	Cleanup, GAN	2022	GA
Constant-recursive sequence	Expansion	2021–2024	B
Post's lattice	Expansion	2022	B
Preorder	Cleanup	2024	C
Cycle graph (algebra)	Edits	2024	C
Snakebird (video game)	Expansion	2024	C
La Colombe Coffee Roasters	Cleanup, Expansion	2023	C
Ackermann set theory	Expansion	2023	C
SAT solver	Creation,[note 1] Expansion	2022, 2023	C
The Scholar of Moab	Creation	2015, 2023	C
Donald X. Vaccarino	Creation,[note 2] Expansion	2022	C
E. Allen Emerson	Expansion	2022	C
Stream processing	Minor cleanup	2022	C
Jinyoung Park (mathematician)	Creation	2022	C
Weighted automaton	Creation	2021, 2022	C
Oscar James Cooper	Creation	2021, 2022	C
Quotient type	Expansion	2023	Start
ACM SIGLOG	Expansion	2021	Start
Anand Pillay	Translation[note 3]	2021	Start
Projective Set (game)	Creation	2015	Start
Yes discography	Expansion[note 4]	2022	List
Gödel Lecture	Translation[note 5]	2021	List
List of Pennsylvania state historical markers in Philadelphia County	Expansion	2021	List
Tarski Lectures	Translation[note 6]	2017, 2021	List