ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Marsha Chechik

Registered user since Thu 5 May 2016

Name:Marsha Chechik

Marsha Chechik is Professor and Bell University Labs Chair in Software Engineering in the Department of Computer Science at the University of Toronto. Prof. Chechik’s research interests are in modeling and reasoning about software. She has authored over 100 papers in formal methods, software specification and verification, computer security and requirements engineering. Marsha Chechik has been Program Committee Co-Chair of a number of conferences in verification (TACAS’16, VSTTE’16, CONCUR’08) and software engineering (ASE’14, FASE’09, CASCON’08), and is gearing up to co-chair the technical program committee of the 2018 International Conference in Software Engineering (ICSE’18). She has been fortunate to work with many extremely talented graduate students and postdocs, some of whom are now on faculty in top universities in Canada, the US, Chile, Luxembourg, and China.

Affiliation:University of Toronto
Research interests:Formal methods, scalable automated verification techniques, model-checking, theorem-proving, formal specification languages, verification of protocols, non-classical logics, reasoning under inconsistency


Show activities from other conferences

ETAPS 2019-profile
View general profile