About me
I am Professor (former Chair, 2019-22) in the
Department of Computer Science, Faculty of Arts and Science, University of Toronto, Canada. I also served as Acting Dean in Faculty of Information (July-December 2022). 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