From Wikipedia, the free encyclopedia
This user has been a Wikipedian since November 2009.
This user tries to do the right thing. If they make a mistake, please let them know .
Wiki Information
This user edits using their real name .
This user has been editing Wikipedia for more than ten years .
This user works at AfD and AfC .
Travel
This user has visited Italy .
Programming
This user can program in Rust .
This user can program in Python .
C++ This user can program in C++ .
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.
Selected Wikipedia contributions [ edit ]
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