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.

Professional Background

For additional information see here.

Teams

Architecture Centric Engineering Initiative

Education

• PhD, Computer Science, University of Toronto
• MS, Computer Science, University of Toronto
• BS, Computer Science, University of Toronto

Contact Arie Gurfinkel