User:Caleb Stanford
From Wikipedia, the free encyclopedia
Hi! I'm an assistant professor of computer science at UC Davis.
More information Wiki Information, Travel ...
|
Close
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.