About Jonathan Ostroff

Jonathan Ostroff received his B.Sc in Electrical Engineering from the University of the Witwatersrand in 1976. Ostroff continued his studies at the prestigious University of Toronto, achieving his Masters of Science Degree in Electrical Engineering only three years later. Canada’s largest petroleum company picked up Ostroff the year of his graduation, but Ostroff eventually left the private sector and returned to academia. Jonathan Ostroff began his academic service as a York University lecturer in 1986, where he would eventual climb the ranks to his current position as Associate Professor in the Department of Electrical and Computer Engineering, Lassonde School of Engineering. Shortly after his stint as a York University lecturer began, Ostroff received his PhD in Electrical Engineering from the University of Toronto. After ending his studies, Ostroff went on the write a book, Temporal Logic for Real Time Systems, which was published in 1989. For most people, publishing a scholarly novel is an impressive feat, but it wasn’t even a fraction of Ostroff’s technological accomplishments. Ostroff went on to pen over 60 published articles that spread throughout many scientific circles. Notable articles include one of his latest works, “Beyond Contracts for Concurrency,” which was published in 2008 in Formal Aspects of Computing, as well as “Verifying Properties Beyond Contracts of SCOOP Programs,” which was featured in the First International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages, which occurred in the United Kingdom in 2006. In addition to his impressive collection of published work, Ostroff has undergone extensive research in software engineering, focusing on real-time safety critical software as well as sequential and concurrent software verification. Jonathan Ostroff is also a member of the Institute of Electrical and Electronics Engineers (IEEE), an esteemed organization that promotes global technological growth. Ostroff has participated in an impressive number of conferences for the organization, including the second, third, and fifth International Conferences on Software Engineering and Formal Methods, which were held in Beijing, Germany, and London.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: