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

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

FASE 2019 Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019 Mentor in Mentors within the Mentoring Workshop-track
Software Assurance in an Uncertain World
Speaker in Speakers within the Mentoring Workshop-track
Advice on your adviser
Show activities from other conferences

ETAPS 2019-profile
View general profile