ME-409: Energy conversion and renewable energyThis course presents an overview of (i) the current energy system and uses (ii) the main principles of conventional and renewable energy technologies and (iii) the most important parameters that defin
CS-412: Software securityThis course focuses on software security fundamentals, secure coding guidelines and principles, and advanced software security concepts. Students learn to assess and understand threats, learn how to d
EE-619: Advanced topics in network neuroscienceThe main goal of this course is to give the student a solid introduction into approaches, methods, and tools for brain network analysis. The student will learn about principles of network science and
CS-421: Machine learning for behavioral dataComputer environments such as educational games, interactive simulations, and web services provide large amounts of data, which can be analyzed and serve as a basis for adaptation. This course will co
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
PHYS-117: Physics lab (metrology)Ce cours est une introduction pratique aux techniques de mesure classiques d'un laboratoire de physique ayant pour but de familiariser les étudiants avec l'acquisition de données, les capteurs, l'anal
ENV-500: Solid waste engineeringThe book "Solid Waste Engineering - A Global Perspective" is the basis for this course. This textbook is an excellent introduction to the field of Solid Waste Engineering and gives insight into releva
