CS-202: Computer systemsThis course will teach operating systems and networks in an integrated fashion,emphasising the fundamental concepts and techniques that make their interaction possible/practical. Core lectures will be
AR-201(o): Studio BA3 (Verschuere)The studio is conceived as an investigation into the archetypical elements of architecture in light of the challenges of our present age. By imbricating these two issues a framework is set up in which
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!
AR-481: Architecture in the age of accelerationThis course proposes to investigate six strategies for architecture in the age of acceleration: Acceleration, Regionalism, Participation, Transformation, Commonality and Resilience. Anchoring these st
AR-365: Theory and architectural cultureLe cours offre un résumé de la théorie et la culture architecturales depuis 1789 dans le monde occidentale. Le but est de comprendre des textes dans lesquels l'architecture est définie comme une disci
CIVIL-434: Structure and architectureL'objectif de ce cours est de démontrer que la structure n'a pas qu'une fonction porteuse. Elle est aussi un élément important de l'architecture. Des exemples classiques et actuels y sont étudiés pour
MATH-495: Mathematical quantum mechanicsQuantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is sim
AR-401(t): Studio MA1 (Kueng & Caputo)La Vita è Bella engages with the question of how people appropriate their surroundings in the private and public sphere. How do we adopt and intervene in this world? By means of built interventions, 1
