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
ENV-471: Environmental economicsIntroduction to economic analysis applied to environmental issues: all the necessary basic concepts, including cost-benefit analysis, for environmental policy making and its instruments (examples: cli
PHYS-467: Machine learning for physicistsMachine learning and data analysis are becoming increasingly central in sciences including physics. In this course, fundamental principles and methods of machine learning will be introduced and practi
PHYS-758: Advanced Course on Quantum CommunicationThe aim of this doctoral course by Nicolas Sangouard is to lay the theoretical groundwork that is needed for students to understand how to take advantage of quantum effects for communication technolog
PENS-223: Waters within citiesKnowledge of how to articulate the "urban transition" is today urgently needed. The course reflects on the possibility of designing an urban space without negatively impacting on its water quality.
MICRO-391: Interfaces in biology and nanoscienceA biological system is composed of water, macromolecules and interfaces. Processes inside the cell depend on biomolecular interactions that are decomposed into elementary physical and chemical interac
