Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors

Jonathan S. Ostroff obtained his B.Sc in Electrical Engineering from the University of the Witwatersrand in 1976 and an M.A.Sc in Electrical Enginering from the University of Toronto in 1979. He then worked for Imperial Oil as a control systems engineer from 1979 to 1981.

In 1986 he started as a lecturer at York University and he obtained his Ph.D in Electrical Engineering from the University of Toronto in 1987. He is now Professor in the Department of Computer Science and Engineering at York University.

His research area is Software Engineering including formal methods for verifying real-time safety critical software, contracts for sequential and concurrent software verification, and model driven development. His research has been supported by an NSERC Dicovery grant since 1987 and he is also currently the York PI for an ORF-RE on software certification in colloboration with researchers at McMaster and Waterloo.

He is author of the monograph Temporal Logic for Real-Time Systems (Wiley, 1989) and has published over 60 papers in various journals and conferences. He is a senior member of the IEEE and has been active on conference program committees including

Last modified:
2011/05/23 22:20