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 circuits on register transfer level, analyse their timing a ...
EE-280: ElectroniquePrésentation des principaux composants de base de l'électronique.
Analyse de circuits à base d'amplificateurs opérationnels.
Introduction aux circuits logiques élémentaires.
Principe de la conversion Analogique-Numérique.
Modèles simplifiés des transistors ...
CS-524: Computational complexityIn computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation.
This course advances the students knowledge of computational complexity, and develop an understa ...
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 practised. ...
PHYS-512: Statistical physics of computationThe students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and machine learning. ...
MICRO-505: Organic and printed electronicsThis course addresses the implementation of organic and printed electronics technologies using large area manufacturing techniques. It will provide knowledge on materials, printing techniques, devices, systems, and applications: state of the art and curren ...
EE-110: Systèmes logiques (pour 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 synthèse de systèmelogiques sont étudiées et appliquée ...
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introduction à l'instrumentation virtuelle. ...
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 use formal verification tools and explain the theory and ...
EE-111: Circuits et systèmesCe cours présente une introduction à la théorie et aux méthodes d'analyse et de résolution des circuits électriques. ...
CS-472: Design technologies for integrated systemsHardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation an ...
EE-530: Test of VLSI systemsTest of VLSI Systems covers theoretical knowledge related to the major algorithms used in VLSI test, and design for test techniques. Basic knowledge related to computer-aided design for test techniques, and their integration into a design-flow are presente ...
PHYS-114: Physique générale : électromagnétismeLe cours traite des concepts de l'électromagnétisme, avec le support d'expériences. Les sujets traités inclus l'électrostatique, le courant électrique et circuits, la magnétostatique, l'induction électromagnétique, les équations de Maxwell, et les ondes él ...
EE-708: Advanced topics in electromagnetic compatibilityAfter a series of common introductory topics covering an introduction to electromagnetic compatibility, modeling techniques and selected chapters from EMC, each student will study a specific topic, which will be presented and discussed. ...
MICRO-210: MicrocontrôleursMicrocontrôleurs couvre le fonctionnement interne d'un microcontrôleur, des notions de base d'architecture de processeur et de système informatique ainsi que les interfaces de microcontrôleurs, et protocoles de communication série. ...
CS-724: Advanced logic synthesis and quantum computingLogic synthesis describes techniques to map complex functionality into a sequence of a few, simple, and small logic primitives. It finds application dominantly in digital design, but is most recently also frequently used in cryptography and quantum computi ...
EE-282: Initiation to electronicsPrésentation des principaux composants de base de l'électroniques.
Analyse de circuits à base d'amplificateurs opérationnels.
Introduction aux circuits logiques élémentaires.
Principe de la conversion Analogique-Numérique.
Modèles simplifiés des transistor ...
CS-210: Functional programmingUnderstanding of the principles and applications of functional programming, the fundamental models of program
execution, application of fundamental methods of program composition, meta-programming through the construction of
interpreters and advanced progr ...
MICRO-211: Analog circuits and systemsThis course introduces the analysis and design of linear analog circuits based on operational amplifiers. A Laplace early approach is chosen to treat important concepts such as time and frequency responses, convolution, and filter design. The course is com ...
