Arie Gurfinkel
Senior Member of Technical Staff

Key responsibilities

Development of tools and techniques that enable the verification and certification of the safety, security and reliability of component-based software systems.

Teams

Predictable Assembly from Certifiable Components (PACC) initiative. 

Professional Background

For additional information see here.

Education

• Ph.D. University of Toronto, Computer Science Department, 2007.
• M.Sc. University of Toronto, Computer Science Department, 2003.
• B. Sc. University of Toronto, 2000.

Professional Memberships and Activities

• Association for Computing Machinery (ACM)