User:Caleb Stanford
Appearance
(Redirected from User:Cstanford.math)
|
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]Useful pages
[edit]- List of most popular CS articles
- List of top-importance CS articles
- AfD debates for computing
- GA nominations for computing and engineering
- Wiki-linked list of researcher names with an h-index of over 100
Notes
[edit]- ^ From Boolean satisfiability problem
- ^ From de:Donald X. Vaccarino
- ^ From de:Anand Pillay (Logiker)
- ^ From Yes (band)
- ^ From de:Gödel-Lecturer
- ^ From fr:Conférences_Tarski
External links
[edit]Categories:
- Wikipedia good article contributors
- WikiProject Computer science participants
- WikiProject Logic participants
- WikiProject Philosophy participants
- Wikipedians interested in logic
- WikiProject Mathematics participants
- Wikipedians interested in mathematics
- Members of the Ten Year Society of Wikipedia editors
- Wikipedian WikiGnomes
- User regex
- User rust
- User python
- User c++
- User bf-1
- Wikipedians in Utah
- Wikipedians in the United States
- American Wikipedians
- User en-N
- User en-us
- Wikipedian computer scientists