Caleb Stanford

About Me

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.

I attend the Penn PL Club.

Penn PL Club

Me Elsewhere

Utah Math Olympiad

Caleb Stanford Google Scholar

Caleb Stanford ORCID page

Caleb Stanford DBLP

profile for 6005 at Mathematics Stack Exchange


What Springer-Verlag Graduate Text in Mathematics are you?


castan at cis upenn edu

Last updated .