A
Alex Summers
Associate Head of Grad Affairs & Professor
Research Interests
Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
Logic, Programming, and Type Systems
Formal Methods in Verification
Security and Verification in Computing
Parallel Computing and Optimization Techniques
Software Testing and Debugging Techniques