ME-474: Numerical flow simulationThis course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Matlab, and a commercial software is used for more complex ...
CS-412: Software securityThis course focuses on software security fundamentals, secure coding guidelines and principles, and advanced software
security concepts. Students learn to assess and understand threats, learn how to design and implement secure software
systems, and get han ...
CS-723: Topics in Machine Learning SystemsThis course will cover the latest technologies, platforms and research contributions in the area of machine learning systems. The students
will read, review and present papers from recent venues across the systems for ML spectrum. ...
CS-460: Systems for data management and data scienceThis is a course for students who want to understand modern large-scale data analysis systems and database systems. The course covers fundamental principles for understanding and building systems for managing and analyzing large amounts of data. It covers ...
ENV-530: Sustainability roboticsThe goal of this course is to provide methods and tools of robotics in promoting sustainable development. The course is a balance between theoretical basics in robotics, associated case studies and project based learning. ...
EE-733: Design and Optimization of Internet-of-Things SystemsThis course provides a complete overview of the most relevant subfields related to Internet of Things (IoT) systems, it presents the perspectives and the underlying technologies, with a particular focus on edge AI architectures and software (AI and TinyML ...
EE-600: Usability engineeringIntroduction to Human Factors/Usability Engineering theory and research methods.
Human Factors Engineering/Usability is interdisciplinary and focuses on human cognition, behavior and ergonomics in design. The course focus on human systems integration and ...
CS-471: Advanced multiprocessor architectureMultiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacenters. It includes a research project on multiprocessors ...
AR-129: Tomographie architecturaleCet enseignement situe le dessin technique comme outil d'enquête spatiale, constructive et contextuelle. Il introduit la coupe itérative comme outil sociotechnique de l'architecte permettant de mesurer, comprendre et interpréter des situations construites. ...
AR-439: UE F : Architecture et réhabilitationL'UE vise à sensibiliser les étudiants aux enjeux d'un projet de réhabilitation. Elle se concentre sur les rapports entre les impératifs liés à la réhabilitation et à une vision architecturale élargie, avec un accent particulier sur le développement durabl ...
CS-438: Decentralized systems engineeringA decentralized system is one that works when no single party is in charge or fully trusted. This course teaches decentralized systems principles while guiding students through the engineering of their own decentralized system featuring messaging, file sha ...
MICRO-452: Basics of mobile roboticsThis course gives an overview of the field of mobile robotics, introducing to the main techniques and allowing to test them in exercises and a team-based project. ...
AR-114: Modélisation numériqueLe cours de Modélisation Numérique consiste à apprendre et à manipuler les fonctions de base du logiciel de conception assistée Rhinoceros 3D grâce à l'élaboration d'un modèle simple ainsi qu'à en exploiter les capacités de rendu graphique. ...
CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write computer-checked proofs and certified bug-free code! ...
AR-219: CAO avancée et modélisation intégrée DIM1ère année: bases nécessaires à la représentation informatique 2D (3D).
Passage d'un à plusieurs logiciels: compétence de choisir les outils adéquats en 2D et en 3D.
Mise en relation des outils de CAO et DIM: regard critique et aptitude à choisir les métho ...
MSE-421: Statistical mechanicsThis course presents an introduction to statistical mechanics geared towards materials scientists. The concepts of macroscopic thermodynamics will be related to a microscopic picture and a statistical interpretation. Lectures and exercises will be compleme ...
