You are here

Prospective Members

We are continuously looking for motivated students who are interested in formal method research. Candidates with a strong technical background in their field should contact a faculty member with a CV and brief explanation about their research interests.

Please find admission information about graduate studies from the School of Computer Science at Future Graduate Students.

Applying for government scholarships (NSERC Scholarship (CGS, PGS)OGS Scholarship) is highly suggested.

If interested, please list Formal Methods as an area of interest on your application.