Professor 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鈥檚 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.
鈥淐omputing technology has had a tremendous impact in shaping how we live and work today,鈥 said ACM President Yannis Ioannidis. 鈥淚n announcing a new class of Fellows each year, we celebrate the impact some of our community鈥檚 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鈥檚 海角视频 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 and chair of ACM鈥檚 Special Interest Group on Software Engineering (SIGSOFT).
鈥淢arsha 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 海角视频 of Computer Science. 鈥淗er well-deserved ACM Fellowship acknowledges her remarkable achievements and inspires us all."
Chechik joins the ranks of 11 other 海角视频 of Computer Science faculty members who have been named ACM Fellows since the program鈥檚 start in 1994.