Arie Gurfinkel, University of Waterloo

Profile photo of Arie Gurfinkel, expert at University of Waterloo

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