• Prospective PhD and Master students

• Please apply to the UofT Department of Computer Science. The application deadline is normally around December 1.
• Please feel free to send me an email with your resume. While I may not be able to always respond to emails, I read all of them. However, I do not make any admission decision before seeing your official application materials in the system.
• I review all applications that list me as one of your potential advisors; otherwise it's unlikely I will review your application.

• Current UofT graduate students

• I am interested in working with current graduate students on reserach projects. Please send an email to initiate the conversation.
• I teach CSC2125HF (Topics in Software Engineering: Types and Programming Languages). You are welcome to take or audit the course.

• Current UofT undergraduate students

• I am generally interested in mentoring a few undergraduate students every year. Please fill this form.
• Ideally you should have taken, or are currently taking, CSC324.

• Research interns and visitors to UofT

• I am open to working with students outside UofT if there is a strong match. Please send an email to initiate the conservation or fill this form.

• Postdocs

• Please send an email with your resume to initiate the conservation.