Rick Salay
Department of
Computer Science, Department of Electrical
and Computer Engineering, University of Waterloo
rsalay at {cs dot toronto dot edu, gsd dot uwaterloo dot ca} |
Rick Salay is a research associate in the Department of Computer Science of the University of Toronto, and in the Department
of Electrical and Computer Engineering at the University of Waterloo. 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 safety-critical 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,
software safety assurance, autonomous vehicles, category theory in modeling, software
engineering, formal methods.
Publications: Can be found here.
Last
modified: Wed Apr 4, 2012