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
fundam
COM-501: Advanced cryptographyThis course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it pr
AR-362: Theory of urbanismLe cours de Théorie de l'Urbanisme traite des modèles, projets et techniques de l'urbanisme entre XIXe et XXIe siècle, en mettant en relation discours théorique et projet, texte et image. Le projet d'
