Prabhakar Ragde, University of Waterloo

Research

Read how they describe their research on their University of Waterloo profile.

Functional programming languages and operational semantics Dependent types and their use in proof assistants for verified computations

Latest funding

Feasible special cases of computationally difficult problems
NSERC · 2008 · Principal investigator
$164,000
Feasible special cases of computationally difficult problems
NSERC · 2001 · Principal investigator
$240,240
Theory and practice of parallel computation
NSERC · 1997 · Principal investigator
$183,456

All 5 grants and awards

No publications available.

Feasible special cases of computationally difficult problems

Principal investigatorNSERC2008Discovery Grants Program - Individual

Principal investigators: Ragde, Prabhakar

$164,000

Feasible special cases of computationally difficult problems

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Ragde, Prabhakar

$240,240

Theory and practice of parallel computation

Principal investigatorNSERC1997Discovery Grants Program - Individual

Principal investigators: Ragde, Prabhakar

$183,456

Lower and upper bounds for parallel computation

Principal investigatorNSERC1994Discovery Grants Program - Individual

Principal investigators: Ragde, Prabhakar

$111,000

Lower bounds for parallel computation

Principal investigatorNSERC1991Discovery Grants Program - Individual

Principal investigators: Ragde, Prabhakar

$96,000

From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.

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

Subject: Prospective PhD student: Functional programming languages and operational semantics Dear Professor Ragde, 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 functional programming languages and operational semantics connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] 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]