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 rqeasoning Computer systems and automation Cybersecurity Software model checking

Links

Personal Site Faculty Page