CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundamental software construction concepts (reusability, abstr ...
CS-455: Topics in theoretical computer scienceThe students gain an in-depth knowledge of several current and emerging areas of theoretical computer science. The course familiarizes them with advanced techniques, and develops an understanding of fundamental questions that underlie some of the key probl ...
MATH-203(b): Analyse IIILe cours étudie les concepts fondamentaux de l'analyse vectorielle et l'analyse de Fourier en vue de leur utilisation pour
résoudre des problèmes pluridisciplinaires d'ingénierie scientifique. ...
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...
CS-450: Algorithms IIA first graduate course in algorithms, this course assumes minimal background, but moves rapidly. The objective is to learn the main techniques of algorithm analysis and design, while building a repertory of basic algorithmic solutions to problems in many ...
HUM-222: Pratiques artistiques - imaginer, dessinerCe cours propose aux étudiant-e-x-s un panorama du dessin contemporain par l'exploration et l'expérience, et plus précisément de penser le dessin par l'économie des moyens. La pratique régulière est accompagnée par des présentations et des références issue ...
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-119(c): Information, calcul, communicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++). ...
CH-242(b): Mécanique statistique pour la chimieCe cours construit la base théorique universelle permettant de comprendre les systèmes à grand nombre de particules. Les méthodes introduites sont utilisées pour éclairer de nombreux phénomènes à travers la chimie. ...
MATH-467: Probabilistic methods in combinatoricsThe 'probabilistic method' is a fundamental tool in combinatorics. The basic idea is as follows: to prove that an object (for example, graph) with certain properties exists, it suffices to prove that if the object is chosen at random, then it has the desir ...
AR-301(am): Studio BA5 (Everaert and Lateur)'While we're young' studies the possibilities within the city to create places exclusively for youth.
We will shift from traditional ways of designing the public space to a new paradigma, starting from the world of young citizens, in order to open the deb ...
AR-128: Technologie du bâti I, IIIntroduction à la technologie du bâti: défis environnementaux et sociétaux, exigences techniques et fonctionnelles du bâtiment dans la durée, équilibre statique des ossatures, matériaux de construction, détails d'assemblage et mise en oeuvre, stratégies de ...
AR-302(am): Studio BA6 (Everaert and Lateur)'Preparing for the apocalypse' takes you to Puglia, where people are confronted with millions of century-old olive trees dying.
In dialogue with local communities, we will explore whether architecture can help create a new future for a country that is seei ...
MATH-123(b): GeometryThe course provides an introduction to the study of curves and surfaces in Euclidean spaces. We will learn how we can apply ideas from differential and integral calculus and linear algebra in order to "measure shapes". ...
MATH-203(c): Analysis IIILe cours étudie les concepts fondamentaux de l'analyse vectorielle et l'analyse de Fourier en vue de leur utilisation pour
résoudre des problèmes pluridisciplinaires d'ingénierie scientifique. ...
AR-301(o): Studio BA5 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [architecture office] will work in Madrid on housing, domestici ...
