![Caleb Stanford](/sites/g/files/dgvnsk8441/files/styles/sf_profile/public/media/images/caleb-stanford_0.jpg?h=df9176b7&itok=-UB1Qs_D)
Position Title
Assistant Professor
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.