Professor Marsha Chechik
Marsha Chechik, professor of computer science at the University of Toronto, has been named a Fellow of the Association for Computing Machinery (ACM).
Chechik is a world-renowned expert in the application of formal methods to improve the quality of software, whose work has had both a deep theoretical impact on the field, as well as significant influence on industrial practice.
ACM is the world’s largest computing society with over 100,000 members, including computing educators, researchers and professionals. The ACM Fellows program recognizes the top one per cent of ACM members for outstanding accomplishments in computing and information technology.
“Computing technology has had a tremendous impact in shaping how we live and work today,” said ACM President Yannis Ioannidis. “In announcing a new class of Fellows each year, we celebrate the impact some of our community’s pioneers make and highlight the many technical areas of computing in which they work.”
Chechik has authored more than 200 papers in formal methods, software specification and verification, computer safety and security, and requirements engineering, and has taken leadership roles in her community, as associate editor of several of the top journals in software engineering, and program co-chair of numerous high-impact conferences.
She joined U of T’s Department of Computer Science as a faculty member in 1996 and served as department chair from 2019 to 2022.
In addition to her academic roles, Chechik is a Fellow of Automated Software Engineering, a Distinguished Member of the ACM, and chair of ACM’s Special Interest Group on Software Engineering (SIGSOFT).
“Marsha has made exceptional research contributions to software assurance and reliability that exemplify the excellence and innovative spirit of our department,” said Eyal de Lara, professor and chair of the Department of Computer Science. “Her well-deserved ACM Fellowship acknowledges her remarkable achievements and inspires us all."
Chechik joins the ranks of 11 other Department of Computer Science faculty members who have been named ACM Fellows since the program’s start in 1994.