Jonathan S. Ostroff
Professor Emeritus, PhD, P.Eng, Senior Member
Department of Electrical Engineering & Computer Science,
Lassonde School of Engineering,
4700 Keele Street, Toronto, Canada M3J 1P3.
firstname at yorku dot ca
Research Area: Formal Methods for Safety Critical Systems, Software Engineering.
DBLP Computer Science Bibliography
Photo below, from Bertrand Meyer's Gallery of Computer Scientists, taken at Foundations of Software Engineering:
last updated: 2022