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'm also currently the Associate Head of Graduate Affairs for the department (meaning that I'm currently responsible for the departments graduate research programs and students, in a broad sense).
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
- Yanze Li (PhD student, co-supervised with Ivan Beschatznikh)
- Rui Ge (PhD student, co-supervised with Ron Garcia)
- Zack Grannan (PhD student)
- Jasper Geer (PhD student)
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