Rick Salay

Department of Computer Science
10 King's College Road
University of Toronto
Toronto, Ontario, Canada
M5S 3G4
Office: (416)946-5239
E-mail: rsalay at cs dot toronto dot edu


Rick Salay is a MITACS post-doctoral fellow in the Department of Computer Science of the University of Toronto, working in the Software Engineering Group with professor Marsha Chechik. He received a B.A.Sc. and M.A.Sc. in Systems Design Engineering from University of Waterloo and a Ph.D. in Computer Science from the University of Toronto. Prior to his Ph.D., he had a 15 year career in advanced software product development holding various senior software design roles, most recently as chief architect at InSystems Technologies Inc. (now Oracle).


Research statement: Graphical models are a key tool for taming the complexity of developing large systems, yet they lie at the border of some fundamental dichotomies: cognition vs. computation, non-formal vs. formal languages and practice vs. theory. This makes them both interesting and challenging. In my research, I develop formal theories about non-formal concepts like modeler intent and modeler uncertainty in order to provide a foundation for tool support that will help practioners.

Areas of interest: Model-driven engineering, formal specification and verification, category theory in modeling, model quality assurance, software engineering, formal methods.

Publications: Can be found here.

Last modified: Wed Apr 4, 2012