Image of Arie Gurfinkel

Arie Gurfinkel

Professor, Electrical and Computer Engineering

Associate Professor in Engineering

Image of Arie Gurfinkel
Contact Information
519-888-4567 x36616
Location: EIT 4021
Groups
Faculty of Engineering
Links
Link to personal webpage: https://ece.uwaterloo.ca/~agurfink/
Additional Information

Research area:
   - Machine Learning
   - Logic, Automated Reasoning, Model Checking

Application area:
   - Smart Infrastructure
   - Security