HUM-425: Critical thinking IThis course will develop logical reasoning and argumentation skills to enable you to influence decision making. You will achieve this by learning how to represent and communicate your reasoning as ar
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
CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write compute
HUM-351: Becoming an ethical engineerStudents will develop an understanding of the psychological and social processes of learning the following competences: (i) ethical sensitivity, (ii) ethical reasoning, (iii) ethical motivation, and (
MATH-207(d): Analysis IVThe course studies the fundamental concepts of complex analysis and Laplace analysis with a view to their use to solve multidisciplinary scientific engineering problems.
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-638: Sensing Like a (Multipli)CityA hands-on approach on how sensing works is complemented with theoretical insights to reflect on the critical zones opened up for urban research by the expansion of coded environments, providing the s
