Ronald Garcia, University of British Columbia

Research

Read how they describe their research on their University of British Columbia profile.

Programming Languages Program Analysis & Verification

Latest funding

Advances in Sound Gradual Typing
NSERC · 2023 · Principal investigator
$104,000
Extending the Theory and Practice of Gradual Typing
NSERC · 2017 · Principal investigator
$156,000
Enhancing Support for Metaprogramming
NSERC · 2012 · Principal investigator
$110,000

All 3 grants and awards

No publications available.

Advances in Sound Gradual Typing

Principal investigatorNSERC2023Discovery Grants Program - Individual

Principal investigators: Garcia, Ronald

Keywords: semantics; type systems; dynamic languages; gradual typing

$104,000

Extending the Theory and Practice of Gradual Typing

Principal investigatorNSERC2017Discovery Grants Program - Individual

Principal investigators: Garcia, Ronald

$156,000

Enhancing Support for Metaprogramming

Principal investigatorNSERC2012Discovery Grants Program - Individual

Principal investigators: Garcia, Ronald

$110,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2023

Subject: Prospective PhD student: Programming Languages Program Analysis & Verification Dear Professor Garcia, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on programming languages program analysis & verification connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Advances in Sound Gradual Typing" (2023), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]