Patrick Lam

Photo of Patrick Lam

Associate Professor Faculty of Engineering Department of Electrical and Computer Engineering Faculty of Mathematics David R. Cheriton School of Computer Science Waterloo, Ontario p23lam@uwaterloo.ca Office: (519) 888-4567 ext. 38017

Expert In

Compilers Cybersecurity Infrastructure integrity Lightweight specifications Pointer analysis Program understanding Program verification Software engineering Specification languages Static analysis Verifiable domain-specific languages Verifiable software specifications

Links

Faculty Page

Media Relations

Rebecca (Becky) Elming
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca