About Me

I am an Associate Professor in the department of Electrical and Computer Engineering at the University of Waterloo.

Computer systems are becoming smaller, faster, pervasive, ubiquitous, mobile, connected, adaptable, and "smart". We are increasingly becoming dependent on their correct operation. Yet, developing correct systems is challenging. The goal of my research is to help developing, testing, and verifying complex computer systems through automation. My primary focus areas are Automated Program Analysis, Software Model Checking, Automated Reasoning, and Abstract Interpretation. See my CV for information on recent research projects.

Outside of work, I enjoy spending time with my family, photography, and mountain sports, ...

Arie Gurfinkel

Arie Gurfinkel, Ph.D.
Associate Professor
Electrical and Computer Engineering
University of Waterloo
200 University Ave. West
Waterloo, ON, N2L 3G1
Phone: +1 (519) 888-4567 x36616
Office: DC2536

work: first.last AT uwaterloo.ca
home: first.last AT gmail.com