W
Werner Dietl
Associate Professor, Electrical and Computer Engineering
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research