Prof. Alex Summers — Research Profile

University of British Columbia · Computer Science

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Jul 22, 2026

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

Prof. Alex Summers at University of British Columbia Computer Science lists Programming Languages, Formal Methods, Software Engineering, Program Analysis & Verification as their registered research area.

Research keywords

Programming LanguagesFormal MethodsSoftware EngineeringProgram Analysis & Verification

Other labs in this department

Aastha Mehta 교수 연구실
Systems & Networking, Security & Privacy
Akshay Ramachandran 교수 연구실
Algorithms, Mathematical Programming
Alla Sheffer 교수 연구실
Virtual & Augmented Reality, Visual Computing
Andrew Roth 교수 연구실
AI & Machine Learning, Bioinformatics & Computational Biology
Anne Condon 교수 연구실
Algorithms, Bioinformatics & Computational Biology
Arpan Gujarati 교수 연구실
Systems & Networking

See all labs in this department