P
Patrick Lam
Associate Professor, Electrical and Computer Engineering
Research Interests
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques