https://www.cs.ubc.ca/~alexsumm/ 2026-08-13T02:07:35+00:00 https://www.cs.ubc.ca/~alexsumm/ https://www.cs.ubc.ca/~alexsumm/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2026-08-04T18:24:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=home&rev=1785867847&do=diff 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 text/html 2026-07-15T04:56:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=papers&rev=1784091401&do=diff Conference and Journal Publications 2026 * Crimps: Indexical Separation Logics for Order-Invariant Specifications [ pdf (draft) ] * Jamie Kai, and Alexander J. Summers * Hyperwands: A Many-to-many Generalization of Magic Wands [ pdf (draft) ] * Yushuo Xiao, Sonja Joost, Alexander J. Summers, Peter Müller, Thibault Dardinier text/html 2026-08-12T18:59:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=teaching&rev=1786561173&do=diff I currently teach two courses at UBC on a semi-regular basis: the 4th year undergrad course CPSC 410 (Advanced Software Engineering), and the graduate-level course CPSC 539S (Program Verifiers and Program Verification). Upcoming courses: * Sep-Dec 2026: CPSC 410 (Advanced Software Engineering)