User:Caleb Stanford

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.

Useful pages

 * 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