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 u
ENV-367: Environmental and construction lawCe cours donne aux étudiant-e-s les connaissances de base nécessaires pour comprendre les dimensions juridiques de leur activité professionnelle concernant l'aménagement du territoire et la protection
AR-123: History of Architecture I,IIThis course critically interrogates the connection of modern architecture with its hypothetical origins by setting it alongside new accounts of the dawn of humanity.
BIO-455: Introduction to law and ethicsLe but du cours est de familiariser l'étudiant-e aux notions de base du droit et de l'éthique applicables à la recherche en LSE et à son transfert en applications, et de lui fournir les éléments essen
CS-290: Responsible softwareSoftware's growing importance increases engineers' responsibility to integrate ethical concerns in the design and development process. This course teaches students concrete strategies for responsible
MGT-483: Optimal decision makingThis course introduces the theory and applications of optimization. We develop tools and concepts of optimization and decision analysis that enable managers in manufacturing, service operations, marke