About
Alexander Summers is an Associate Professor at the Department of Computer Science, University of British Columbia. He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages, Formal Methods, and Software Engineering, with a focus on automated verification tools for heap-based and concurrent programs.
- MSc Joint Mathematics and Computer Science, Imperial College London (2004)
- PhD Computer Science, Imperial College London (2009)
- Postdoc, ETH Zurich (2009-2014)
Summers leads the Prusti Project, developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in:
- Memory safety and concurrency verification
- Ownership models and aliasing control
- Automated reasoning with SMT solvers
- Resource-oriented programming specifications
- Debugging verification condition quantifiers
- Formal validation of verification infrastructure
His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards. He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification, and supervises graduate students in formal verification and Rust-related research.
