GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Program Analysis & Verification

Program Analysis & Verification

5 faculty research Program Analysis & Verification on GradNova.

R
Formal Methods
Program Analysis & Verification
Systems & Networking
Parallel Computing and Optimization Techniques
+4
A
Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
C
Program Analysis & Verification
Programming Languages
Security & Privacy
Software Engineering
+5
R
Computer Science Education
Program Analysis & Verification
Software Engineering
Software Engineering Research
+2
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3