Werner Dietl
Independent Director And Member Of The Language & Education Committees
Waterloo, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolWerner Dietl is an associate professor of Electrical and Computer Engineering at the University of Waterloo and an Independent Director for the Kotlin Foundation, bringing 16 years of experience at the intersection of programming languages, software engineering, and program verification. He holds a doctorate from ETH Zurich and has blended theory with practical tooling—contributing to high-profile open-source projects like the Checker Framework and Lombok to improve Java type-checking and annotation handling. His research focuses on eliminating latent defects and making software more trustworthy across security and systems domains, often turning formal results into developer-facing tools. Beyond academia, he has collaborated with industry labs including Google and maintained production-grade code that tightens error messaging and API compatibility, an example of his ability to bridge rigorous research with real-world impact.
16 years of coding experience
15 years of employment as a software developer
MSc., Computer Science, MSc., Computer Science at Bowling Green State UniversityElectronics and Computer Science, Electronics and Computer Science at HTBLA SalzburgDr. sc. ETH, Computer Science, Dr. sc. ETH, Computer Science at ETH ZurichDipl.-Ing., Applied Computer Science and Business, Dipl.-Ing., Applied Computer Science and Business at Salzburg University
English, German
Stackoverflow
41reputation
2kreached
2answers
0questions
Github Skills (15)
javas10
compiler-design10
refactoring10
lombok10
javadoc10
java10
refactor10
annotations10
annotation-processing10
api-design9
eclipse9
debugging9
testing7
netbeans6
checker-framework6
Programming languages (8)
Github contributions (5)
typetools/checker-framework
Feb 2010 - Jul 2020
Pluggable type-checking for Java
Role in this project:
Back-end Developer & Maintainer
Back-end Developer & MaintainerContributions:3 releases, 22 reviews, 6212 commits in 10 years 7 months
Contributions summary:Werner made several contributions focused on improving code quality and maintainability within the "checker-framework" repository. Their commits included significant changes to error messages and code structure, involving renaming, simplification, and the consistent use of specific API calls. Additionally, the user adapted to API changes, refactored code, and addressed several issues, including code review feedback, by removing redundant checks and adding supporting structures to enhance the codebase.
javatype-checkingverification
projectlombok/lombok
May 2018 - Aug 2018
Very spicy additions to the Java programming language.
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 commits, 2 PRs, 1 comment in 3 months
Contributions summary:Werner primarily contributed to the `HandleBuilder`, `HandleSetter`, and `HandleWither` classes within the Lombok project. Their work focused on enhancing annotation processing, specifically related to handling null annotations and copying annotations to builder parameters, setters, and withers. Furthermore, the user implemented and tested annotation copying behavior across various features, including getters, builders, setters, and withers. This suggests a focus on improving annotation handling within the Lombok library.
java-programming
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.