CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
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
ME-251: Thermodynamics and energetics IThe course introduces the basic concepts of thermodynamics and heat transfer, and thermodynamic properties of matter and their calculation. The students will master the concepts of heat, mass, and mom
MGT-201: Introduction to entrepreneurshipThis course provides an introduction to the field of entrepreneurship, in particular the process of new venture creation and the commercialization of technologies. It integrates theories of entreprene
MICRO-401: Machine learning programmingThis is a practice-based course, where students program algorithms in machine learning and evaluate the performance of the algorithm thoroughly using real-world dataset.
ChE-340: The engineering of chemical reactionsCe cours applique les concepts de la cinétique chimique et des bilans de masse et d'énergie pour résoudre les problèmes de génie des réactions chimiques, en mettant l'accent sur les applications indus
PHYS-101(a): General physics : mechanicsLe but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de pr
PHYS-599(a): Master project in Physics EngineeringL'étudiant.e ayant fait un stage réalise un projet de recherche en physique dans un laboratoire ou en entreprise.
L'étudiant.e ayant fait un mineur réalise un projet de recherche dans le domaine de la
FIN-610: International FinanceThis is a doctoral level course introducing students to important topics in international finance. It also covers aspects of the recent financial crisis, such as market contagions, regulatory arbitrag
HUM-429: Philosophy of life sciences IComprendre et discuter les questions centrales de la philosophie des sciences de la vie, par exemple celle du réductionnisme ou pourquoi le libre arbitre pourrait être une illusion. Transposer les pro
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
CS-119(h): Information, Computation, CommunicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence
HUM-380: Video games and gamificationCe cours propose d'acquérir des compétences en création de jeux vidéo, en invitant les étudiant·e·s à mettre leurs connaissances au service d'un projet collectif de ludification (gamification) d'un co
