Caleb Stanford

Image of Me

I am a first-year PhD student in Computer Science at the University of Pennsylvania. I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science.) Here is my CV.

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.

I attend the Penn PL Club.

Penn PL Club


I maintain a website and blog, currently hosted on GitHub Pages.


castan at cis upenn edu

Last updated .