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!
CS-701: Human aspects of software engineeringStudents will be exposed to modern software engineering research and will learn how to evaluate, synthesize, and apply these research findings to their own independent projects. Time will also be spen
CS-726: Machine Learning for Database SystemsThis course covers the emerging interdisciplinary field targeting the intersection of Machine Learning and Database Systems. The students will read, review and present papers from recent venues across
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-207: Logic systems (for EL)Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuits combinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de sy
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
EE-342: Systèmes de télécommunicationsMaîtriser les notions de base d¿un système de transmission de l¿information et identifier les critères déterminants pour la planification d¿un système de télécommunication.
Évaluer les performances d¿
