The steering committee of the IEEE/ACM International Conferences on Automated Software Engineering (ASE) has named Professor Marsha Chechik a Fellow of Automated Software Engineering for “significant and sustained contributions to the ASE community” through both her scientific contributions and her service to ASE conferences, its journal and its research community.

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 positively influencing industrial practice.

She has authored over 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.

Since July 2020, Chechik has served as Chair of the Department of Computer Science (DCS), and is the first woman to chair the department. She served as Interim Chair for the 2019–2020 academic year.

She has played a strong leadership role within DCS over the last decade, serving as Vice Chair from 2009–2011 and 2013–2016, and chairing the Computational Education Working Group in 2018, which has informed DCS planning for the growth of our department and broadening of our outreach and partnership activities.