Faculty profile
Werner Dietl
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a University of Waterloo directory, so their publications, courses and email address may be missing. Find their university profile.
Latest funding
- $32,631
Development, Testing, Launch, Analysis Computer to Frontend Experimental Cluster
NSERC · 2024 · Co-investigator
- $113,899
Parallel Client/Server System for Programming Language Research
NSERC · 2022 · Co-investigator
- $120,000
Advancing Pluggable Property Language Extensions (APPLE)
NSERC · 2020 · Principal investigator
Development, Testing, Launch, Analysis Computer to Frontend Experimental Cluster
Principal investigators: Buhr, Peter
Keywords: Compilers; Concurrent programming; Parallel Computing; Performance Evaluation; Programming Languages; Runtime Systems; Type Systems
Parallel Client/Server System for Programming Language Research
Principal investigators: Buhr, Peter
Advancing Pluggable Property Language Extensions (APPLE)
Principal investigators: Dietl, Werner
Keywords: type systems; verification; sound; lightweight; static; security & privacy; usability; domain specific languages
Mobile Trust Through Joint Scalable Verification of High- and Low-Level Code
Principal investigators: Gurfinkel, Arie
Runtime Enforcement of Optional Type Systems
Principal investigators: Dietl, Werner
Software Dependability for 5G Systems
Principal investigators: Tripunitara, Mahesh MV
Sound Help In Eliminating Latent Defects
Principal investigators: Dietl, Werner
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
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.