CS-487: Industrial automationThis course consists of two parts:
- architecture of automation systems, hands-on lab
- handling of faults and failures in real-time systems, including fault-tolerant computing
COM-405: Mobile networksThis course provides a detailed description of the organization and operating principles of mobile and wireless communication networks.
CS-423: Distributed information systemsThis course introduces the key concepts and algorithms from the areas of information retrieval, data mining and knowledge bases, which constitute the foundations of today's Web-based distributed information systems.
COM-301: Computer securityThis is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them.
EE-556: Mathematics of data: from theory to computationThis course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees, describe scalable solution techniques and algorithms, and illustrate the trade-offs involved.
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 forme ex-cathedra et les savoir-faire seront entrainés lors des travaux pratiques.
COM-622: Topics in information-theoretic cryptographyInformation-theoretic methods and their application to secrecy & privacy. Perfect information-theoretic secrecy. Randomness extraction & privacy amplification. Secret key generation from common randomness. Measures of information leakage incl. differential privacy, perfect privacy, & mutual info.
CS-522: Principles of computer systemsThis advanced graduate course teaches the key design principles underlying successful computer and communication systems, and shows how to solve real problems with ideas, techniques, and algorithms from operating systems, networks, databases, programming languages, and computer architecture.
CS-451: Distributed algorithmsComputing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machines or communication links. This course will study the foundations of reliable distributed computing.
EE-584: Spacecraft design and system engineeringThe main objective of the course is to introduce the concept of space system design and engineering. The course will describe the various subsystems involved in the design of a satellite. It will also describe the techniques of systems engineering that are used to obtain a coherent satellite design.