About Me

I am a Principal Researcher at the Software Engineering Institute. I have received a Ph.D. from the Computer Science Department of University of Toronto in 2007.

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, 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.
Senior Researcher
Software Engineering Institute
Carnegie Mellon University
4500 Fifth Avenue
Pittsburgh, PA, 15213-2612
Phone: +1 (412) 268-7788

work: first AT cmu.edu
home: first.last AT gmail.com