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.
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
View general profile