AR-604: Introduction to research IIThis course is an introduction to the methodological issues of scientific research. The objective is to help doctoral students conduct a scientifically robust research.
ENG-466: Distributed intelligent systemsThe goal of this course is to provide methods and tools for modeling distributed intelligent systems as well as designing and optimizing coordination strategies. The course is a well-balanced mixture
CS-510: Topics in software securityMemory corruption and type safety flaws dominate the threat landscape. We will approach current research
from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing
AR-530: Housing and typologyAu travers d'une approche centrée sur la typologie, les trois enseignants exploreront successivement des grands types de logements rationalistes pour en comprendre les origines historiques mais aussi
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MATH-600: Optimization and simulationMaster state-of-the art methods in optimization with heuristics and simulation.
Work involves:
- reading the material beforehand
- class hours to discuss the material and solve problems
- homework
PHYS-210: Physique numérique (pour SPH)Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer d
AR-202(o): Studio BA4 (Verschuere)In the early days of the Anthropocene, the concepts of "Nature and Culture" are being revisited by a number of contemporary thinkers. The studio will take this paradigm shift as an opportunity to addr
