SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Marsha Chechik

Registered user since Thu 5 May 2016

Name: Marsha Chechik

Bio: I am Professor of the Faculty of Arts and Science at the Department of Computer Science, University of Toronto, Canada. My main interests are in Software Engineering and in particular in Automated Verification and Model Management.

My main research interests are in the use of formal methods to improve quality of software. These include: scalable automated verification techniques, including model-checking and theorem-proving; easy to read and review formal specification languages; verification of protocols; non-classical logics; reasoning under inconsistency. I am also interested in all aspects of Model Management, especially when parts of the same model are being developed distributively, and thus problems of matching common parts, identifying relationships between these parts, and merging parts to understand the whole, are most essential.

I am also a member of Computer Systems Research Group (CSRG) and an adjunct member of the Department of Electrical and Computer Engineering.

Affiliation: University of Toronto

Personal website: http://www.cs.toronto.edu/~chechik/

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile