GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Program Analysis & Verification Research Faculty | GradNova

/

/

Program Analysis & Verification

Program Analysis & Verification

5 faculty research Program Analysis & Verification on GradNova.

R

Affiliate Assistant Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Systems & Networking

Parallel Computing and Optimization Techniques

+4

A

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Software Engineering

+5

C

Caroline Lemieux

Assistant Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Security & Privacy

Software Engineering

+5

R

Professor

Computer Science

University of British Columbia

Computer Science Education

Program Analysis & Verification

Software Engineering

Software Engineering Research

+2

R

Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Logic, Programming, and Type Systems

Software Engineering Research

+3