About me

Marsha I am Professor (former Chair, 2019-22) in the Department of Computer Science, Faculty of Arts and Science, University of Toronto, Canada. I also served as Acting Dean in Faculty of Information (July-December 2022). My main interests are in Software Engineering and in particular in Safety and Security Assurance, Automated Verification, Software Product Lines 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, including support for development and analysis of heterogeneous related models and transformations between them. In addition, I am interested in supporting high quality development of sets of models, commonly done in Product Line engineering

Last updated: July 30, 2023