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
EE-320: Analog IC designIntroduction to the design of analog CMOS integrated circuits at the transistor level. Understanding and design of basic structures.
BIO-341: Dynamical systems in biologyLife is non-linear. This course introduces dynamical systems as a technique for modelling simple biological processes. The emphasis is on the qualitative and numerical analysis of non-linear dynamical
PHYS-452: Radiation detectionThe course presents the detection of ionizing radiation in the keV and MeV energy ranges. Physical processes of radiation/matter interaction are introduced. All steps of detection are covered, as well
PENS-318: Border ForensicsThe course will introduce students to different forms of violence related to the existence of state borders and social boundaries, focusing on particular situations in Switzerland, and the way spatial