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
CIVIL-511: Engineering of existing structuresThe engineering of existing structures encompasses the examination of condition and load-carrying capacity, decision criteria, and methods for rehabilitation or strengthening. This course presents the
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-602: Let's experimentBefore you step into the lab to do an experiment, you have a long list of questions: How do I design an experiment that will give a clear answer to my question? What model system should I use? What ar
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
CS-119(c): 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 (
