Caleb Stanford

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.