Caleb Stanford

Research Group

I’m excited to be leading the DavisPL research group to work on applications of programming languages, verification, and mathematical abstractions to real systems. Thank you to all the current, past, and future students!

DavisPL group members

Past members