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
PC Member for SEFM’07, 5th IEEE International Confeence on Software Engineering and Formal Methods London, UK September 10-14, 2007
PC member for 3rd IEEE International Conference on Software Engineering and Formal Methods Koblenz, Germany , September 5-9, 2005.
PC Member 2nd IEEE Intnl. Conference on Software Engineering and Formal Methods, SEFM2004, Beijing September, 2004.
PC Member: 2nd Workshop on Quantitative Aspects of Programming Languages QAPL 2004, Barce¬lona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004.
Program Committee for Workshop on Software Engineering and Formal Methods, Software Verifica¬tion Research Centre, The University of Queensland, Brisbane, 2003.
Program Committee for Workshop on Education and Training at TOOLS’02 Conference on Trusted Components, Formal Specifications, Eiffel & .NET, Santa Barbara, July 2002.
Member of the Program Committee, 5th Int. AMAST Workshop on Real-Time and Probabilistic Sys¬tems (ARTS'99) in Bamberg, Germany, May 1999.
Member of the Program Committee, Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software. Towards a mathematical transformation-based development, Mallorca, May 1997.
Member of the Program Committee, The Third AMAST Workshop on Real-Time Systems; Models, Properties and ControlSalt Lake City, Utah, USA, March 6 - 8, 1996
1987-2001: Reviewer for NSERC grant proposals, NSERC Collaborative Grant, NSF grant proposals, SEED program (California Institute of Technology), and NATO grant proposals. Chaired Session at 9th IEEE Real-Time Symposiums, 1988.
