Richard Trefler, University of Waterloo

Research

abstraction communication protocols compositional reasoning distributed systems model checking network protocols parametrized systems routing protocols

Latest funding

Local Symmetry: Compositional Reasoning For Modular Designs
NSERC · 2019 · Principal investigator
$138,000
Reactive Program Analysis From The Ground Up
NSERC · 2012 · Principal investigator
$85,000
Temporal Specifications For Online Security System Monitoring and Synthesis
NSERC · 2011 · Principal investigator
$75,969

All 5 grants and awards

Local Symmetry: Compositional Reasoning For Modular Designs

Principal investigatorNSERC2019Discovery Grants Program - Individual

Principal investigators: Trefler, Richard

Keywords: model checking; symmetry reduction; compositional reasoning; parametrized systems; temporal logic; abstraction; network protocols; distributed systems; communication protocols; routing protocols

$138,000

Reactive Program Analysis From The Ground Up

Principal investigatorNSERC2012Discovery Grants Program - Individual

Principal investigators: Trefler, Richard

$85,000

Temporal Specifications For Online Security System Monitoring and Synthesis

Principal investigatorNSERC2011Collaborative Research and Development Grants

Principal investigators: Trefler, Richard

$75,969

A visual semantics for communication protocols

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Trefler, Richard

$135,000

Visual specifications and compositional reasoning for model checking

Principal investigatorNSERC2003Discovery Grants Program - Individual

Principal investigators: Trefler, Richard

$100,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 2019

Subject: Prospective PhD student: abstraction Dear Professor Trefler, 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 abstraction 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 "Local Symmetry: Compositional Reasoning For Modular Designs" (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]