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
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
CIVIL-124: Statics (for GC)Ce cours a pour but de développer une compréhension des modèles statiques de structures. Il présente l'étude du jeu des forces dans les constructions isostatiques formées de barres, poutres et câbles.
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-411: Digital educationThis course addresses the relationship between specific technological features and the learners' cognitive processes. It also covers the methods and results of empirical studies: do student actually l
ME-466: InstabilityThis course focuses on the physical mechanisms at the origin of the transition of a flow from laminar to turbulent using the hydrodynamic instability theory.
ENG-436: Food biotechnologyThe course will deliver basic knowledge on the principles of food fermentation and enzyme technology. The course will also present benefits that food biotechnology can bring in terms of Nutrition & He
CIVIL-411: Dam engineeringDams are paramount for human development around the world. The course is an introduction to the fascinating domain of dam engineering, from design to construction, for water storage and regulated supp
CH-310: Dynamics and kineticsThe course covers the principles of chemical kinetics, including differential rate laws, derivation of exact and approximate integral rate laws for common elementary and composite reactions, fundament
