Marsha Chechik

Marsha Chechik is a Professor in the Department of Computer Science at the University of Toronto. She is also former Chair (2019-2022) and Acting Dean of the Faculty of Information. Her research focuses on software engineering, with an emphasis on safety and security assurance, automated verification, software product lines, and model management. Her work includes the use of formal methods to improve software quality, such as scalable automated verification techniques, model-checking, theorem-proving, and the development of formal specification languages.

Marsha Chechik is a Professor of Computer Science at the University of Toronto, specializing in software engineering, software verification, modeling, formal methods, and assurance and dependability. Her research focuses on improving the reliability and correctness of software systems through formal techniques. She has contributed significantly to the fields of model merging, symbolic model-checking, and multi-valued reasoning. Her work addresses challenges in software product lines, feature location, and managing uncertainty in requirements. Chechik's research emphasizes the development of frameworks and tools for verification, such as Ufo and MTSA, to enhance software assurance and dependability.