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
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-678: Harmony and ConflictsThis is a methodological PhD course focused on the history and description of one case study (building, drawing or projects) and the construction of its historical broader context.
HUM-466: Experimental history of science IIThe course allows students to learn by doing about the history of science, and the role played by experimentation, technical skills or material objects in the production of knowledge. Students will ex
AR-659: Minoring architectural researchA theoretical and practical reflection on the possibilities, positions and methodologies of a minor approach to architectural research will reveal key concepts and tools to establish a critical positi
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
HUM-402: Experimental history of science IThe course allows students to learn by doing about the history of science, and the role played by experimentation, technical skills or material objects in the production of knowledge. Students will ex
CIVIL-510: Quantitative imaging for engineersFirst 2 courses are Tuesday 16-19h!This course will arm students with knowledge of different imaging techniques for practical measurements in many different fields of civil engineering. Modalities wil
