Jonathan S. Ostroff

Professor Emeritus, PhD, P.Eng, Senior Member IEEE,
Department of Electrical Engineering & Computer Science,
Lassonde School of Engineering,
York University,
4700 Keele Street, Toronto, Canada M3J 1P3.
firstname at yorku dot ca

Research Area: Formal Methods for Safety Critical Systems, Software Engineering.

Short CV

DBLP Computer Science Bibliography

Publications

Photo below, from Bertrand Meyer's Gallery of Computer Scientists, taken at Foundations of Software Engineering:

last updated: 2022