MATH-436: Homotopical algebraThis course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
CIVIL-413: Urban hydraulic systemsSustainable freshwater and urban drainage system are considered.
Fresh water: capture, reservoir and net.
Drainage: hydrology, sponge city, individual conduit and manhole hydraulics.
The integral r
MICRO-301: Manufacturing technologiesThis course gives an introduction to production methods and manufacturing technologies used in microengineering. The focus is given on the understanding of physical phenomena underlying the processes,
CS-420: Advanced compiler constructionStudents learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time
MATH-489: Number theory II.c - CryptographyThe goal of the course is to introduce basic notions from public key cryptography (PKC) as well as basic number-theoretic methods and algorithms for cryptanalysis of protocols and schemes based on PKC
PHYS-207(a): General physics : quantaCe cours est une introduction à la mécanique quantique. En partant de son développement historique, le cours traite les notions de complémentarité quantique et le principe d'incertitude, le processus
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 in
