| 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. |
|
| 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.
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
.svg){kind=small}
GA
FL