I am Professor (former Chair, 2019-22) in the
Department of Computer Science, Faculty of Arts and Science, University of Toronto, Canada. I also serve as Acting Dean in Faculty of Information. My main interests are in Software Engineering and in particular in Safety and Security Assurance, Automated Verification, Software Product Lines and Model Management.
My main research interests are in the use of formal methods to improve quality of software. These include: scalable automated verification techniques, including model-checking and theorem-proving; easy to read and review formal specification languages; verification of protocols; non-classical logics; reasoning under inconsistency. I am also interested in all aspects of Model Management, including support for development and analysis of heterogeneous related models and transformations between them. In addition, I am interested in supporting high quality development of sets of models, commonly done in Product Line engineering