Caleb Stanford

image of man in suit and tie

Position Title
Assistant Professor

  • Computer Science
Bio

Caleb's research applies programming languages techniques to improve the design, tool support, and reliability of real-world software systems, including data processing systems and distributed systems. His current work centers around three thrusts: securing the Rust programming language, verifying software based on regular expressions, and verifying dataflow programs that run in the cloud.

Tags

Programming LanguagesSoftware Engineering