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

edit

Primary and active projects

edit
Article 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

edit
Article 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

edit

Notes

edit
  1. ^ Collaborative project with an anonymous editor
  2. ^ From Boolean satisfiability problem
  3. ^ From de:Donald X. Vaccarino
  4. ^ Collaborative project with an anonymous editor
  5. ^ From de:Anand Pillay (Logiker)
  6. ^ From Yes (band)
  7. ^ From de:Gödel-Lecturer
  8. ^ From fr:Conférences_Tarski
edit