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
ME-104: Introduction to structural mechanicsThe student will acquire the basis for the analysis of static structures and deformation of simple structural elements. The focus is given to problem-solving skills in the context of engineering desig
CH-160(en): Advanced general chemistry (english)This course aims to teach essential notions of the structure of matter, chemical equilibria and reactivity. Classes and exercises provide the means to analyze and solve, by reasoning and calculation,
