I am Professor of the Faculty of Arts and Science at the Department of Computer Science, University of Toronto, Canada. My main interests are in Software Engineering and in particular in Automated Verification 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, especially when parts of the same model are being developed distributively, and thus problems of matching common parts, identifying relationships between these parts, and merging parts to understand the whole, are most essential.

I am also a member of Computer Systems Research Group (CSRG) and an adjunct member of the Department of Electrical and Computer Engineering.