GradNova

R

Ronald Garcia

Professor

Computer Science, University of British Columbia

Research Interests

Program Analysis & Verification

Programming Languages

Logic, Programming, and Type Systems

Software Engineering Research

Formal Methods in Verification

Security and Verification in Computing

Parallel Computing and Optimization Techniques

Academic Metrics

Links

Grants