CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
HUM-470: Economic growth and sustainability IIIn this seminar, students work in groups to prepare a report illustrating material taught in the first semester. Specifically, the groups will choose a significant environmental impact or resource use
EE-613: Machine Learning for EngineersThe objective of this course is to give an overview of machine learning techniques used for real-world applications, and to teach how to implement and use them in practice. Laboratories will be done i
CIVIL-349: Traffic engineeringIntroduce the major elements of transportation systems and traffic engineering: develop analytical and technical skills in applying the fundamentals of the transport field; understand the key concepts
CS-119(l): Information, Computation, CommunicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (
CS-502: Deep learning in biomedicineDeep learning offers potential to transform biomedical research. In this course, we will cover recent deep learning methods and learn how to apply these methods to problems in biomedical domain.
MSE-234: Mechanical behaviour of materialsCe cours est une introduction au comportement mécanique, à l'élaboration, à la structure et au cycle de vie des grandes classes de matériaux de structure (métaux, polymères, céramiques et composites)
