This is the current revision of this page, as edited by Caleb Stanford talk | contribs ) at 23:28, 17 December 2024 (+ Reality+ ). The present address (URL) is a permanent link to this version.
Revision as of 23:28, 17 December 2024 by Caleb Stanford talk | contribs ) (+ Reality+ )(diff ) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Userboxes
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 usingreal name .
This user has been editing Misplaced Pages for more than ten years
Travel
This user has visited Italy
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 Misplaced Pages, 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 Misplaced Pages contributions
Primary and active projects
Secondary
Useful pages
Notes
Boolean satisfiability problem
de:Donald X. Vaccarino
de:Anand Pillay (Logiker)
Yes (band)
de:Gödel-Lecturer
fr:Conférences_Tarski
External links
Categories :
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
**DISCLAIMER** We are not affiliated with Wikipedia, and Cloudflare.
The information presented on this site is for general informational purposes only and does not constitute medical advice.
You should always have a personal consultation with a healthcare professional before making changes to your diet, medication, or exercise routine.
AI helps with the correspondence in our chat.
We participate in an affiliate program. If you buy something through a link, we may earn a commission 💕
↑
.svg){kind=small}
GA
FL