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
fundamental software construction concepts (reusability, abstr ...
BIO-508: Ethics for Life Sciences engineersThe decisions that life science engineers make can have profound impacts on other people, on society, and on the environment. It is important, therefore, to be aware of the potential effects of decisions, and to have a set of ethical principles and analyt ...
PENS-307: Urban planning in the SouthCe cours est une introduction aux outils techniques et conceptuels essentiels à la planification urbaine et à la prise de décisions basées sur l'évidence. Ces outils sont introduits dans le contexte des villes du Sud, afin de comprendre les dynamiques spat ...
MGT-621: MicroeconomicsThis course presents a first introduction to microeconomic theory and its applications. It lays the foundation for more advanced courses. ...
CS-101: Advanced information, computation, communication IDiscrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...
AR-212: Theory and techniques of architectural figurationL'enseignement transmet les fondements théoriques de l'histoire de l'art figuratif et introduit les techniques opératoires de la représentation. L'objectif principal est d'intégrer la pratique des outils numériques dans la dimension intellectuelle de la di ...
AR-301(b): Studio BA5 (Graf F.)Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain. ...
CS-430: Intelligent agentsSoftware agents are widely used to control physical, economic and financial processes. The course presents practical methods for implementing software agents and multi-agent systems, supported by programming exercises, and the theoretical underpinnings inc ...
FIN-609: Asset Pricing (2011 - 2024)This course provides an overview of the theory of asset pricing and portfolio choice theory following historical developments in the field and putting
emphasis on theoretical models that help our understanding of financial decision
making and financial mar ...
MATH-494: Topics in arithmetic geometryP-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applications, notably we will prove rationality of the Weil Ze ...