About Me

I am a Professor in the department of Electrical and Computer Engineering with a cross appointment at the Cheriton School of Computer Science 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 and Tools for current tools.

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

Prospective Students

I am looking for highly-motivated PhD and MSc students interested in logic, automated reasoning, formal methods, programming, and software engineering. Please contact me with your transcript and resume, or list my name as a potential supervisor in the official application so that it comes to my attention. I do my best to answer all emails, but it is not always possible.

Arie Gurfinkel

Arie Gurfinkel, Ph.D.
Electrical and Computer Engineering
University of Waterloo
200 University Ave. West
Waterloo, ON, N2L 3G1
Phone: +1 (519) 888-4567 x36616
Fax: +1 (519) 746-3077
Office: DC2522 EIT-4021

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

UWaterloo ECE