Patrick Lam, University of Waterloo

Profile photo of Patrick Lam, expert at University of Waterloo

Associate Professor 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