Caleb Stanford

Image of Me

I am a PhD student in computer science at the University of Pennsylvania. My advisor is Rajeev Alur. Here is my CV.

I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science).

Research Interests

Formal methods, automata theory, nonclassical logic (especially modal logics). I am also interested in applications of complexity theory and finite model theory to programming languages and verification. This list is incomplete.

Please see also the research page and projects page of my website.

I attend the Penn PL Club.

Penn PL Club


I maintain a website and blog.


castan at cis upenn edu

Last updated .