Arie Gurfinkel

Photo of Arie Gurfinkel

Associate Professor Faculty of Engineering Department of Electrical and Computer Engineering Waterloo, Ontario agurfink@uwaterloo.ca Office: (519) 888-4567 ext. 36616

Expert In

Abstract Interpretation Application security Automated program analysis Automated reasoning Compilers Cybersecurity Formal methods Program Verification Software Model Checking

Links

Personal Site Faculty Page

Media Relations

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