Dr. Werner Dietl, Associate Professor in the Department of Electrical and Computer Engineering (ECE) at the University of Waterloo, has been selected as a Fall 2025 recipient of an Amazon Research Award for his proposal, Strata-Sphere: Expressive Type Systems and Language Formalizations.
The Amazon Research Awards program supports innovative academic research across a range of disciplines and recognizes researchers whose work is contributing to advances in science and technology. Dietl's award adds to a growing list of national and international recognitions earned by ECE faculty for research excellence.
Dietl's research focuses on safe and productive software development. By combining theoretical results with practical tools, he helps developers create high-quality, trustworthy software while reducing the impact of software defects. His work brings together programming languages and software engineering with expertise in verification, security, and systems, creating new approaches to building reliable software.
The award recognizes Dietl's contributions to software development research and serves as another example of the world-class research taking place within the Department of Electrical and Computer Engineering.
