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 progr
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
ENV-471: Environmental economicsIntroduction to economic analysis applied to environmental issues: all the necessary basic concepts, including cost-benefit analysis, for environmental policy making and its instruments (examples: cli
HUM-365: Darwin, religion and scienceCe cours revient sur l'histoire des opposants à Darwin et au darwinisme : créationnistes, néo-créationnistes, partisans du dessein intelligent. Quels sont leurs arguments ? Quelles sont leurs stratégi
