CS-251: Theory of computationThis course constitutes an introduction to theory of computation. It discusses the basic theoretical models of computing (finite automata, Turing machine), as well as, provides a solid and mathematically precise understanding of their fundamental capabilit ...
MATH-381: Logique mathématiqueBranche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique. C'est entre autres un cours dans lequel la pratique mathématiq ...
CS-173: Fundamentals of digital systemsWelcome to the introductory course in digital design and computer architecture. In this course, we will embark on a journey into the world of digital systems, exploring the fundamental principles and concepts that underpin modern computing technology. ...
CS-101: Advanced information, computation, communication IDiscrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...
CS-433: Machine learningMachine learning methods are becoming increasingly central in many sciences and applications. In this course, fundamental principles and methods of machine learning will be introduced, analyzed and practically implemented. ...
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 ...
MATH-351: Advanced numerical analysis IIThe student will learn state-of-the-art algorithms for solving differential equations. The analysis and implementation of these algorithms will be discussed in some detail. ...
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computating in an axiomatic way. We introduce the notions of quantum bits, gates, and circuits. We introduce themost important quantum algorithms. We also touch upon error-correcting codes. This course is indep ...
HUM-463: Humains/machines IICet enseignement croise des approches culturelles (notamment dans les domaines littéraires ou artistiques), sociales et scientifiques pour penser les enjeux, les perspectives et les problèmes que soulève l'hybridation de l'humain et de la machine. ...
COM-401: Cryptography and securityThis course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented. ...
AR-616: EDAR thesis writing workshopThe workshop will equip participants with practical skills necessary to make thesis writing smoother and better organized. Main issues
covered are: getting started, structure and argumentation, time management and self-motivation, getting and handling feed ...
ME-427: Networked control systemsThis course offers an introduction to control systems using communication networks for interfacing sensors, actuators, controllers, and processes. Challenges due to network non-idealities and opportunities offered by communication will be analyzed. ...
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 use formal verification tools and explain the theory and ...
MGT-632: Recursive Methods in MacroeconomicsThis is a PhD course on recursive methods used in modern macroeconomics. Recursive
representations of macroeconomic models are useful because they are parsimonious and allow
the computer to be used to solve for the equilibrium and the dynamics of the model ...
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-642: Artificial LifeWe will give an overview of the field of Artificial Life (Alife). We study questions such as emergence of complexity, self-reproduction, evolution, both through concrete models and through mathematical results. We will describe some of the most influential ...
