W
At a glance
Research interests
Logic, programming, and type systems; Security and Verification in Computing; Formal Methods in Verification; Parallel Computing and Optimization Techniques; Software Engineering Research
About
Biography
Werner Dietl is Associate Professor, Electrical and Computer Engineering at the University of Waterloo, affiliated with Computer Science, Electrical and Computer Engineering. This summary considered 3 collected sources. Listed research or teaching areas include Logic, programming, and type systems; Security and Verification in Computing; Formal Methods in Verification; Parallel Computing and Optimization Techniques; Software Engineering Research.