EE-110: Logic systems (for MT)Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn
EE-330: Digital IC designDigital IC Design presents the fundamentals of digital integrated circuit design. The methods and techniques aiming at the fabrication and development of digital integrated circuits are reviewed, the
MATH-381: Mathematical logicBranche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
HUM-430: Philosophie des sciences de la vie IIÉvaluer les principales positions dans un débat philosophique choisi. Développer au sein de votre groupe une approche solide d'un ou plusieurs problèmes philosophiques de ce débat. Défendre votre anal
AR-430: Magma and principlesNous proposons à une dizaine de personnalités de mettre en relation deux séquences spatiales issues de deux univers représentatifs l'architecture et le cinéma. Pour ce semestre "TEMPUS SESSORIUM" Le t
EE-334: Digital systems designStudents will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware.
They learn how to design synchronous digital cir
PENS-230: Digital ENAC: le codage en contexteDigital ENAC aims to provide students with the ability to apply the principles of coding to the practical life of designers and engineers. We will not focus on a specific coding language, but will ext
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
EE-431: Advanced VLSI designIn this project-based course, students collect hands-on experience with designing full-custom digital VLSI circuits in dynamic logic. They learn to carry out the design and optimization on transistor
PENS-221: Making the campus of tomorrowThe EPFL-UNIL campus is today at the heart of an intense institutional reflection on its future. The ENAC week aims to carry out specific operational proposals for the campus starting from a reflectio
AR-302(o): Studio BA6 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [archit
AR-402(o): Studio MA2 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [archit
AR-401(o): Studio MA1 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [archit
