Lab directory
Prof. Werner Dietl — Research Profile
University of Waterloo · Department of Electrical and Computer Engineering
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
More detail is coming to this faculty research profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- Department of Electrical and Computer Engineering
- Professor
- Werner Dietl
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Ivan Beschastnikh 교수 연구실
University of British Columbia · Computer Science
Modular Responsiveness Verification of Rust Async RuntimesPreprintarXiv (Cornell University) · Oct 6Marsha Chechik 교수 연구실
University of Toronto · Computer Science
Compositional Generator EquivalenceProceedings of the ACM on Programming Languages · Aug 17N. Asokan 교수 연구실
University of Waterloo · David R. Cheriton School of Computer Science
PRISM: Lightweight Enclave Isolation with Prismatic CapabilitiesPreprintarXiv (Cornell University) · Aug 26
Other labs in this department
- Amir-Hossein Karimi 교수 연구실
- Amir Keyvan Khandani 교수 연구실
- Andrew Boutros 교수 연구실
- Arie Gurfinkel 교수 연구실
- Christopher Nielsen 교수 연구실
- Claudio Canizares 교수 연구실