Registered user since Thu 5 May 2016

Name: Marsha Chechik

Bio: 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.

Country: Canada

Affiliation: University of Toronto

Personal website: http://www.cs.toronto.edu/~chechik/

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

Contributions