CS-202: Computer systemsThis course will teach operating systems and networks in an integrated fashion,emphasising the fundamental concepts and techniques that make their interaction possible/practical. Core lectures will be coupled with C programming lectures and assignments for ...
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 ...
HUM-282: Introduction to linguisticsCe cours est une introduction à la linguistique, discipline qui étudie les unités et les règles des langues humaines et rend compte de leur fonctionnement et de leurs fonctions. ...
PHYS-100: Advanced physics I (mechanics)La Physique Générale I (avancée) couvre la mécanique du point et du solide indéformable. Apprendre la mécanique, c'est apprendre à mettre sous forme mathématique un phénomène physique, en modélisant la situation et appliquant les lois de la physique. ...
DH-401: Digital musicologyThis course will introduce students to the central topics in digital musicology and core theoretical approaches and methods. In the practical part, students will carry out a practical project. ...
CS-119(c): Information, Computation, 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++). ...
CS-401: Applied data analysisThis course teaches the basic techniques, methodologies, and practical skills required to draw meaningful insights from a variety of data, with the help of the most acclaimed software tools in the data science world (pandas, scikit-learn, Spark, etc.) ...
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 ...
DH-405: Foundations of digital humanitiesThis course introduces the core concepts and methodologies of Digital Humanities, integrating both theoretical and practical perspectives. Students learn to work with large-scale cultural datasets, acquiring the tools and techniques required for their proc ...
PHYS-512: Statistical physics of computationThe students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and machine learning. ...
NX-414: Brain-like computation and intelligenceRecent advances in machine learning have contributed to the emergence of powerful models of animal perception and behavior. In this course we will compare the behavior and underlying mechanisms in these models as well as brains. ...
HUM-275: Evolutionary psychologyLa psychologie évolutionniste est une discipline située au carrefour de la biologie, de la psychologie, de l'anthropologie, des sciences sociales et naturelles qui examine les traits psychologiques et les comportements humains dans une perspective évolutio ...
CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply ...
HUM-251: Thinking our democracies through dystopiaL'objectif de ce cours est d'étudier les différentes manifestations des mondes totalitaires dans la fiction. Plus précisément, nous regarderons comment les écrivains racontent l'aliénation de l'homme par l'homme - ainsi que les fonctions de tels récits. Un ...
MATH-505: HPC for numerical methods and data analysisThe objective of this course is to provide the necessary background for designing efficient parallel algorithms in scientific computing as well as in the analysis of large volumes of data. The operations considered are the most costly steps at the heart of ...
AR-154: Environmental history and theories ILe cours vise a familiariser les etudiants avec l'histoire de l'environnement et des paysages, et avec la maniere dont les preoccupations environnementales amenent a repenser aujourd'hui le sens et les principes de l'architecture et des disciplines de pr ...
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 software
automatically); and mitigation (protecting soft ...
