Prof. Richard Trefler — Research Profile

University of Waterloo · David R. Cheriton School of Computer Science

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Nov 2, 2026

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Richard Trefler at University of Waterloo David R. Cheriton School of Computer Science lists automated reasoning, model checking, embedded systems, automata on infinite objects, analysis of parameterized systems as their registered research area.

Research keywords

automated reasoningmodel checkingembedded systemsautomata on infinite objectsanalysis of parameterized systems

Other labs in this department

Ali José Mashtizadeh Lab
Operating systems, distributed systems, storage
Anamaria Crisan Lab
Human-centered AI, data visualization, healthcare data science
Arne Storjohann Lab
symbolic and exact linear algebra, Computing matrix canonical forms, Algorithms for sparse and black-box matrices
Bernard Wong Lab
Distributed systems and networking
Bin Ma Lab
Bioinformatics, protein sequencing algorithms
Charles Clarke Lab
Search, information retrieval, data science

See all labs in this department