
B.S., Electrical Engineering, University of Notre Dame (1997)
M.S., Electrical Engineering, University of Notre Dame (1999)
Ph.D., Computer Science, Indiana University (2008)
Postdoc, Rice University (2008 - 2009)
Computing Innovations Fellow, Carnegie Mellon University (2009 - 2011)
Assistant Professor, University of British Columbia (2011 - 2017)
Associate Professor, University of British Columbia (2017 - )
Abstracting Gradual Typing
Ronald Garcia, Alison M. Clark, and Éric Tanter. In POPL '16: The 43rd Annual Symposium on Principles of Programming Languages. 2016
Principle Type Schemes for Gradual Programs
Ronald Garcia and Matteo Cimini. In POPL '15: The 42nd Annual Symposium on Principles of Programming Languages. 2015
Foundations of Typestate-Oriented Programming
Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich. ACM Transactions on Programming Languages and Systems, 2014.
Lazy Evaluation and Delimited Control
Ronald Garcia, Andrew Lumsdaine, and Amr Sabry. In Logical Methods in Computer Science, Volume 6, Issue 3. 2010.
Toward Foundations for Type-Reflective Metaprogramming
Ronald Garcia and Andrew Lumsdaine. In GPCE '09: The 8th International Conference on Generative Programming and Component-Based Engineering. 2009
ICICS/CS Building
201-2366 Main Mall
Vancouver, B.C.
V6T 1Z4 Canada
Tel: 604-822-3061 |
Fax: 604-822-5485
General: help@cs.ubc.ca
Undergrad program: undergrad-info@cs.ubc.ca
Graduate program: grad-info@cs.ubc.ca