Jonathan Ostroff, York University

Research

Read how they describe their research on their York University profile.

Latest funding

Mathematical models for specifying and verifying concurrent object-oriented systems
NSERC · 2010 · Principal investigator
$100,000
Formal and agile methods for model driven development
NSERC · 2005 · Principal investigator
$165,000
Personnel support for York's Centre for vision research
NSERC · 2001 · Co-investigator
$408,000

All 10 grants and awards

No publications available.

Mathematical models for specifying and verifying concurrent object-oriented systems

Principal investigatorNSERC2010Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$100,000

Formal and agile methods for model driven development

Principal investigatorNSERC2005Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$165,000

Personnel support for York's Centre for vision research

Co-investigatorNSERC2001Major Facilities Access Grants

Principal investigators: Jenkin, Michael

$408,000

Formal methods for object-oriented software construction

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$124,000

Personnel support for York's Centre for vision research

Co-investigatorNSERC2000Major Facilities Access Grants

Principal investigators: Jenkin, Michael

$91,000

Formal design methods for real-time safety-critical systems

Principal investigatorNSERC1997Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$114,660

Central Research Computing Facility

Co-investigatorNSERC1994Infrastructure Grants (H)

Principal investigators: Liu, Joseph

$68,400

Design of safety critical real-time systems

Principal investigatorNSERC1993Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$80,000

Research microcomputer workstation

Co-investigatorNSERC1991Infrastructure Grants (H)

Principal investigators: Liu, Joseph

$120,000

Design of real-time discrete event systems

Principal investigatorNSERC1990Discovery Grants Program - Individual

Principal investigators: Ostroff, Jonathan

$44,884

From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Subject: Prospective PhD student Dear Professor Ostroff, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]