Welcome to my home page (typically a work in progress). As an academic on paper, I go by the alias Alexander J. Summers, but in other capacities (including, for example, real life) you can call me Alex.
I'm a Full Professor in the Department of Computer Science at the University of British Columbia (UBC) in Vancouver, Canada, where I'm very happy to be a member of the SPL (Software Practices Lab).
I work on a variety of topics related to software correctness and verification, and am fortunate to get to work with wonderful collaborators, colleagues and especially students.
Current Graduate Students
- Rui Ge (PhD student, co-supervised with Ron Garcia)
- Jasper Geer (PhD student)
- Zack Grannan (PhD student)
- Yanze Li (PhD student, co-supervised with Ivan Beschatznikh)
Alumni
- Gaurav Parthasarathy (graduated 2024)
- ETH Zurich PhD, co-supervised with Peter Müller; now a Software Engineer at Veezoo
- Federico Poli (graduated 2024)
- ETH Zurich PhD, co-supervised with Peter Müller; now a Protocol Engineer at delta Network
- Vytautas Astrauskas (graduated 2024)
- ETH Zurich PhD, co-supervised with Peter Müller; now a Research Engineer at Sensmetry
- David Ewert (graduated 2023)
- UBC MSc, now at Amazon Vancouver
- Peeranat (ToTo) Tokaeo (graduated 2023)
- UBC MSc, now at Amazon Vancouver
- Markus de Medeiros (graduated 2023)
- UBC intern and Honours Thesis, now a PhD student at NYU
- Zack Grannan (graduated 2023)
- UBC MSc, continuing here for his PhD
- Malte Schwerhoff (graduated 2017)
- ETH Zurich PhD, supervised by Peter Müller; now a Lecturer in the Department of Computer Science at ETH Zurich