ENV-596: Design projectMise en pratique des connaissances acquises dans un projet proposé par un bureau d'ingénieur, une administration ou un laboratoire affilié à SIE. Projet avec une orientation d'ingénierie ou de recherc
AR-480: UE X : Experience designExperience Design examines the effects of digitalization on architectural typologies in the contemporary city. The course questions traditional typologies by focusing on an understanding and re-design
BIO-373: Genetics and genomicsThe theoretical part of this course covers classical genetics and contemporary genomics. Because bioinformatics has become important for genomic research, the course also includes practical applicatio
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
ENG-616: Communication in science and technologyThis PhD course teaches basic theories and skills of
communication, and discusses current topics with internal/external lecturers. Goal: give an overview and prepare interested PhD scientists to the f
DH-411: Design research for digital innovationHow can we turn digital technologies and data into meaningful user experiences? How can we face societal issues raised by digital evolution? This course proposes an immersion in design research, user
CS-119(g): Information, Computation, CommunicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de
l'informatique et des communications et de développer une première compétence
