Wikipedia Easy Search

This user has been a Wikipedian since November 2009.

3,000+

This user has made more than 3,000 contributions to Wikipedia.

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.

IAR

This user thinks the best rule on Wikipedia is Ignore All Rules.

This user is a member of WikiProject Computer science.

This editor is a WikiGnome.

This user has helped promote 1 good article on Wikipedia.

they

This user considers singular they standard English usage.

This user has been editing Wikipedia for more than ten years.

Travel

This user has visited Austria.

This user has visited Canada.

This user has visited Denmark.

This user has visited France.

This user has visited Germany.

This user has visited Greece.

This user has visited Italy.

This user has visited Luxembourg.

This user has visited México.

This user has visited Poland.

This user has visited Portugal.

This user has visited Thailand.

This user has visited the United Kingdom.

This user has visited the United States of America.

This user has visited Vatican City.

Programming

This user has an account on GitHub.

This user writes regular expressions.

This user can program in Rust.

This user can program in Python.

This user can program in C++.

bf-1

This user is a beginning Brainfuck programmer.

Biographical Details

This user lives in or hails from the U.S. State of California.

This user came from the U.S. State of Utah.

This user is a citizen of the United States of America.

This user is a native speaker of American English.

This user is a computer scientist.

This user has published peer-reviewed articles in academic journals.

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. I have taught classes in topics such as formal verification, data processing pipelines, and Rust programming.

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.