Robin Cockett, University of Calgary

Research

Abstract differential geometry Applications of category theory in computer science Categorical quantum mechanics Categorical semantics Categories in Physics Differential categories Linear logic Restriction categories and partiallity

Latest funding

Professor
NSERC · 2019 · Principal investigator
$168,000
Categorical programming
NSERC · 2014 · Principal investigator
$130,000
Categorical programming and computability
NSERC · 2009 · Principal investigator
$250,000

All 6 grants and awards

Professor

Principal investigatorNSERC2019Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

Keywords: Abstract differential geometry; Applications of category theory in computer science; Categorical quantum mechanics; Categorical semantics; Categories in Physics; Differential categories; Linear logic; Restriction categories and partiallity; Semantics of programming; Tangent categories

$168,000

Categorical programming

Principal investigatorNSERC2014Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

$130,000

Categorical programming and computability

Principal investigatorNSERC2009Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

$250,000

Categorical programming and concurrency

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

$180,000

Categorical programming

Principal investigatorNSERC2000Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

$144,000

Categorical programming

Principal investigatorNSERC1996Discovery Grants Program - Individual

Principal investigators: Cockett, Robin

$129,778

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 2019

Subject: Prospective PhD student: Abstract differential geometry Dear Professor Cockett, 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 abstract differential geometry 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 "Professor" (2019), 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]