User:Caleb Stanford
From Wikipedia, the free encyclopedia
Hi! I'm an assistant professor of computer science at UC Davis.
Wiki Information
Travel
Biographical Details
|
Academically, my primary expertise is 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.
On Wikipedia, I do various maintenance of selected topics both within and outside of computer science, as well as miscellaneous WP:WikiGnome and reviewing work. Some of the pages I have contributed to are included below.
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 in 2016.
You are welcome to get in touch with me by posting on my talk page.
Selected Wikipedia contributions
| Article | Contribution | Year(s) | Class |
|---|---|---|---|
| Rust (programming language) | Expansion, Maintenance | 2022–2025 |  GA |
| The Substance | Writing, Maintenance[note 1] | 2024–2025 | B |
| Post's lattice | Expansion | 2022 | B |
| Yes (band) | Cleanup, Maintenance, GAN[note 2] | 2022–2025 | C |
| Constant-recursive sequence | Expansion | 2021–2024 | C |
| Snakebird (video game) | Expansion | 2024 | C |
| La Colombe Coffee Roasters | Expansion, Maintenance | 2023-2024 | C |
| Ackermann set theory | Expansion | 2023 | C |
| SAT solver | Creation,[note 3] Expansion | 2022, 2023 | C |
| The Scholar of Moab | Creation | 2015, 2023 | C |
| Donald X. Vaccarino | Creation,[note 4] Expansion | 2022 | C |
| E. Allen Emerson | Expansion | 2022 | C |
| Weighted automaton | Creation | 2021, 2022 | C |
| Oscar James Cooper | Creation | 2021, 2022 | C |
| Preorder | Cleanup | 2024 | C |
| Cycle graph (algebra) | Edits | 2024 | C |
| Computer science | Miscellaneous | 2021–2023 | C |
| Stream processing | Minor cleanup | 2022 | C |
| Jinyoung Park (mathematician) | Creation | 2022 | C |
| Quotient type | Expansion | 2023 | Start |
| ACM SIGLOG | Expansion | 2021 | Start |
| Turing Award | Miscellaneous | 2022–2024 |  FL |
| List of Pennsylvania state historical markers in Philadelphia County | Expansion | 2021 | List |
| Gödel Lecture | Translation[note 5] | 2021 | List |
| Tarski Lectures | Translation[note 6] | 2017, 2021 | List |
Useful pages
Notes
- Collaborative project with an anonymous editor. Additional pages: The Substance (soundtrack), List of accolades received by The Substance, Reality+.
- Former good article. Additional page: Yes discography.
- From de:Gödel-Lecturer