Image of Arie Gurfinkel

Arie Gurfinkel

Professor, Electrical and Computer Engineering
Contact Information
519-888-4567 x36616
Location: EIT 4021
Groups
Faculty of Engineering
Links
Link to profile: https://uwaterloo.ca/electrical-computer-engineering/profile/agurfink
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