ENG-436: Food biotechnologyThe course will deliver basic knowledge on the principles of food fermentation and enzyme technology. The course will also present benefits that food biotechnology can bring in terms of Nutrition & He
ME-331: Solid mechanicsModel the behavior of elastic, viscoelastic, and inelastic solids both in the infinitesimal and finite-deformation regimes.
BIO-693: Bioinformatic Analysis of RNA-sequencingThis course will take place from 2nd to 6th June 2025 in room AAC 1 37.
It introduces the workflows and techniques that are used for the analysis of bulk and single-cell RNA-seq data. It empowers stu
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-451: Distributed algorithmsComputing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machin
CH-200: Practical programming in ChemistryThis course offers a comprehensive, practical introduction to computer programming tailored for chemists and chemical engineers. Python is the main language used throughout the course.