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
CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
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
HUM-114: Social studies in digital technologyLes étudiant·e·s analysent des dynamiques de co-production des sociétés et des technologies numériques, leurs enjeux et les problématisations dont elles sont l'objet, en apprenant à mobiliser des conc