PENS-201: Making structural logicThe ENAC week provides students the possibility to engage into an iterative process of testing and exploring structural and material limits and possibilities through the collaborative design and const
DH-405: Foundations of digital humanitiesThis course gives an introduction to the fundamental concepts and methods of the Digital Humanities, both from a theoretical and applied point of view. The course introduces the Digital Humanities cir
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
AR-301(at): Studio BA5 (Gardelegui et Widmer)À travers une analyse cartographique des démolitions planifiées et des initiatives de densification dans la région de Genève, les étudiants remettront en question le statu quo en découvrant le potenti
AR-401(at): Studio MA1 (Gardelegui et Widmer)À travers une analyse cartographique des démolitions planifiées et des initiatives de densification dans la région de Genève, les étudiants remettront en question le statu quo en découvrant le potenti
ME-232: Mechanics of structures (For GM)L'étudiant acquiert les bases de l'analyse des contraintes et déformation des poutres élastiques linéaires soumises à la traction, cisaillement, torsion, flexion; les coefficients d'influence et la m