Marsha Chechik

Maria Marsha A. Chechik is a computer scientist who works in Canada as Bell University Chair in Software Engineering in the Department of Computer Science at the University of Toronto. Her research concerns software engineering, and particularly the use of formal methods to assure the safety and reliability of software in industrial and health applications. Provided by Wikipedia