Get in touch
Polytechnique Montréal, Department of Computer and Software Engineering
Contact
Submit a system, property, or research question.
We are open to prospective students, research collaborators, seminar speakers, and industry conversations around verification and assurance.
Prospective students
Joining the lab
Send a short note with your CV, transcripts, research interests, and a pointer to any relevant writing, code, or project work.
Start a conversation