ME-427: Networked control systemsThis course offers an introduction to control systems using communication networks for interfacing sensors, actuators, controllers, and processes. Challenges due to network non-idealities and opportun
ENG-644: Teaching STEM: a problem solving approachProblem solving is a core engineering skill. This course explores relevant heuristics, epistemologies, metacognitive skills and evidence-informed teaching strategies for developing problem solving ski
AR-480: UE X : Experience designExperience Design examines the effects of digitalization on architectural typologies in the contemporary city. The course questions traditional typologies by focusing on an understanding and re-design
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-301(ac): Studio BA5 (Bosshard et Vaquer)The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall c
AR-401(ac): Studio MA1 (Bosshard et Vaquer)The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall c
