Prof. Ronald Garcia — 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. Ronald Garcia at University of British Columbia Computer Science lists Programming Languages, Program Analysis & Verification as their registered research area.

Research keywords

Programming LanguagesProgram Analysis & Verification

Other labs in this department

Aastha Mehta 교수 연구실
Systems & Networking, Security & Privacy
Akshay Ramachandran 교수 연구실
Algorithms, Mathematical Programming
Alex Summers 교수 연구실
Programming Languages, Formal Methods, Software Engineering, Program Analysis & Verification
Alla Sheffer 교수 연구실
Virtual & Augmented Reality, Visual Computing
Andrew Roth 교수 연구실
AI & Machine Learning, Bioinformatics & Computational Biology
Anne Condon 교수 연구실
Algorithms, Bioinformatics & Computational Biology

See all labs in this department