CS-490: Business design for IT servicesIn this course, students practice designing digital business services. The students learn to apply the principles of technical sales while developing their own projects. Through this process, students
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
EE-203: Electronics IICe cours introduit les composants à semiconducteurs électroniques de base : diodes à jonction PN, transistors bipolaires et MOS. Leurs modes de fonctionnement en DC et AC sont étudiés. Les circuits
EE-206: Méthodes de mesureCe cours vise à transférer les concepts théoriques et les savoir-faire nécessaires à la réalisation de mesures de bonne qualité. Les contenus méthodologiques et technologiques seront exposés sous form
EE-340: Introduction to photonicsCe cours introduit les spécificités des techniques relevant de l'optique moderne, en particulier les aspects touchant à la fréquence extrêmement élevée de l'onde et ceux liés à l'émission et la détect
EE-345: Radiation and antennasLes antennes sont utilisées dans une multitude d'applications de communications et de détection, demandant des fréquences et propriétés d'antennes très différentes. Ce cours décrit la théorie de base
EE-370: Electric power systemsCe cours décrit les composants d'un réseau électrique. Il explique le fonctionnement des réseaux électriques et leurs limites d'utilisation. Il introduit les outils de base permettant de les piloter.
