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
BIOENG-430: Selected topics in life sciencesThe course presents an overview on how recent advances at the interfaces of biology, biotechnology, engineering, physical sciences, and medicine are 1) shaping the landscape of biomedical research; 2)
FIN-525: Financial big dataThe course introduces modern methods to acquire, clean, and analyze large quantities of financial data efficiently. The second part expands on how to apply these techniques and robust statistics to fi
MGT-418: Convex optimizationThis course introduces the theory and application of modern convex optimization from an engineering perspective.
ENG-474: Impact studiesPrésentation des bases des études d'impact, du contexte et des outils d'évaluation de chacun des sujets et des chapitres. Illustration par de nombreux cas réels, et par un travail de groupe. Discussio
BIO-377: Physiology by systemsLe but est de connaitre et comprendre le fonctionnement des systèmes cardiovasculaire, urinaire, respiratoire, digestif, ainsi que du métabolisme de base et sa régulation afin de déveloper une réflect