Scholar
Marsha Chechik
Google Scholar ID: CYfxRVIAAAAJ
Professor of Computer Science, University of Toronto
Citations & Impact
Citations
2,625
H-index
27
i10-index
86
Publications
20
Co-authors
77
list available
Contact
No contact links provided.
Publications
Resume (English only)
Background
- Professor in the Department of Computer Science, Faculty of Arts and Science, University of Toronto (served as Chair from 2019–2022)
- Acting Dean of the Faculty of Information from July to December 2022
- Main research interests lie in Software Engineering, particularly Safety and Security Assurance, Automated Verification, Software Product Lines, and Model Management
- Focuses on using formal methods to improve software quality, including scalable automated verification techniques such as model-checking and theorem-proving
- Interested in readable and reviewable formal specification languages, protocol verification, non-classical logics, and reasoning under inconsistency
- Works on all aspects of Model Management, including development and analysis of heterogeneous related models and transformations between them
- Also interested in supporting high-quality development of model sets commonly used in Product Line Engineering
