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

profile for 6005 at Mathematics Stack Exchange


What Springer-Verlag Graduate Text in Mathematics are you?


castan at cis upenn edu

Last updated .