Arie Gurfinkel

Associate Professor

Contact information


Phone: 519-888-4567 x36616

Location: DC 2536

Fax: 519-746-3077


  • PhD, University of Toronto
  • MSc, University of Toronto
  • BSc, University of Toronto

Research interests

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.

Further information

Please see Professor Gurfinkel's own web page for more information.

University of Waterloo

Profiles by type