CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
BIO-410: Bioimage informaticsThe course provides a comprehensive overview of methods, algorithms, and computer tools used in bioimage analysis. It exposes fundamental concepts and practical computer solutions to extract quantitat
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
MGT-621: MicroeconomicsThis course presents a first introduction to microeconomic theory and its applications. It lays the foundation for more advanced courses.
MICRO-605: Optical MEMS and micro-opticsMicro-optics and optical MEMS encompass a wide range of methods, devices and systems that enable precise, high-speed manipulation of light at the wavelength scale. MICRO605 provides a comprehensive i
AR-531: Introduction to building archaeologyCet enseignement transmet les notions de base dans les méthodes d'étude et d'analyse en archéologie de la construction. L'objectif est de développer chez les étudiant.e.s une meilleure compréhension d
AR-674: Transition workshop / Theory masterclassThe Transition Workshop1_ Theory Masterclass is the first theoretical part of a complete interdisciplinary and intensive training on the pathways for decarbonizing and resilient cities and regions, en
