CH-442: Photochemistry IThis course presents the theoretical bases of electronic spectroscopy and molecular photophysics. The principles of the reactivity of excited states of molecules and solids under irradiation are detai
MATH-131: Probability and statisticsLe cours présente les notions de base de la théorie des probabilités et de l'inférence statistique. L'accent est mis sur les concepts principaux ainsi que les méthodes les plus utilisées.
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
CIVIL-238: Structural mechanics (for GC)The course discusses the basic principles of structural mechanics, analyzing the performance of materials and structures against loading and focuses on the stress strain relationships and the effect
MATH-512: Optimization on manifoldsWe develop, analyze and implement numerical algorithms to solve optimization problems of the form min f(x) where x is a point on a smooth manifold. To this end, we first study differential and Riemann
MGT-418: Convex optimizationThis course introduces the theory and application of modern convex optimization from an engineering perspective.