|
Hi! I'm an assistant professor of computer science at UC Davis.
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 don't only edit computer-science-related pages, but I try to keep at least half of my editing work in pages that are relevant to my academic interests. I like to do both focused long-term maintenance of selected topics, and various WP:WikiGnome work around fixing and cleaning miscellaneous pages. Some of the pages on which I have done more substantial work 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
editPrimary and active projects
editArticle | Contribution | Year(s) | Class |
---|---|---|---|
Rust (programming language) | Cleanup, Expansion | 2022–2024 | GA |
Yes (band) | Cleanup, GAN | 2022-2024 | GA |
Constant-recursive sequence | Expansion | 2021–2024 | B |
The Substance | Expansion[note 1] | 2024 | B |
Snakebird (video game) | Expansion | 2024 | C |
La Colombe Coffee Roasters | Cleanup, Expansion | 2023-2024 | C |
Ackermann set theory | Expansion | 2023 | C |
SAT solver | Creation,[note 2] Expansion | 2022, 2023 | C |
The Scholar of Moab | Creation | 2015, 2023 | C |
Donald X. Vaccarino | Creation,[note 3] Expansion | 2022 | C |
E. Allen Emerson | Expansion | 2022 | C |
Weighted automaton | Creation | 2021, 2022 | C |
Oscar James Cooper | Creation | 2021, 2022 | C |
Reality | Creation[note 4] | 2024 | Start |
Secondary
editArticle | Contribution | Year(s) | Class |
---|---|---|---|
Turing Award | Miscellaneous | 2022-2024 | FL |
Post's lattice | Expansion | 2022 | B |
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 |
Anand Pillay | Translation[note 5] | 2021 | Start |
Projective Set (game) | Creation | 2015 | Start |
Yes discography | Expansion[note 6] | 2022 | List |
List of Pennsylvania state historical markers in Philadelphia County | Expansion | 2021 | List |
Gödel Lecture | Translation[note 7] | 2021 | List |
Tarski Lectures | Translation[note 8] | 2017, 2021 | List |
Useful pages
editNotes
edit- ^ Collaborative project with an anonymous editor
- ^ From Boolean satisfiability problem
- ^ From de:Donald X. Vaccarino
- ^ Collaborative project with an anonymous editor
- ^ From de:Anand Pillay (Logiker)
- ^ From Yes (band)
- ^ From de:Gödel-Lecturer
- ^ From fr:Conférences_Tarski