As Associate Professor in the Department of Electrical and Computer Engineering, Lassonde School of Engineering at York University, Jonathan Ostroff shows students how to approach the computer science field with an innovative attitude that uses his experience in industry and academia. Jonathan Ostroff has revieweds grant proposals for variety of organizations, including the National Science & Engineering Research Council of Canada, The National Science Foundation, and the SEED program from The California Institute of Technology. Ostroff was a member of the Human Performance in Space Laboratory at the Institute for Space and Terrestrial Science in Toronto for seven years. Ostroff received a B.Sc in Electrical Engineering from the University of Witwatersrand in 1976, followed closely by his M.A.Sc in Electrical Engineering from the University of Toronto in 1979. After receiving his advanced degree, it looked like Ostroff was set to use his skills in the private sector, as he was quickly recruited by Imperial Oil as a control systems engineer. However, after several years working with the Canadian petroleum company, Ostroff left the oil behemoth and eventually landed back in the academic system as a lecturer at York University. While lecturing at York, the third largest university in Canada, Ostroff earned his PhD in Electrical Engineering from the University of Toronto, setting the stage for his scientific work. Ostroff’s accomplishments include his book, "Temporal Logic for Real Time Systems", and over 60 papers and articles that have been published in various scientific journals. Aside from his written work, Ostroff has conducted hands on research in many important sections of software engineering, including model driven development, sequential and concurrent software verification, and time safety critical software. Jonathan Ostroff is also a member of the Institute of Electrical and Electronics Engineers (IEEE), for which he has traveled the world participating in conferences and sharing his engineering knowledge.

Work History

Work History
Jul 1986 - Present

Professor of Computer Science and Engineering

York University

Author of Ostroff, J.S. Temporal Logic for Real-Time Systems. Advanced Software Development Series, ed. J. Kramer. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989.