Arie Gurfinkel, 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