Arie Gurfinkel
Associate Professor
ELECTRICAL AND COMPUTER ENGINEERING
University of Waterloo
Canada
Biography
I am an Associate 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.
Research Interest
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.
Publications
-
Gurfinkel A, Chechik M. Multi-valued model checking via classical model checking. Lecture notes in computer science. 2003 Jan 1:266-80.
-
Chechik M, Devereux B, Easterbrook S, Gurfinkel A. Multi-valued symbolic model-checking. ACM Transactions on Software Engineering and Methodology (TOSEM). 2003 Oct 1;12(4):371-408.
-
Gurfinkel A, Wei O, Chechik M. Yasm: A software model-checker for verification and refutation. InCAV 2006 Aug 17 (Vol. 6, pp. 170-174).
