MSE-671: Computation, Modeling and VisualizationThe student has been exposed to the use of modelling, coding, and visualization as a means to understand a research problem more deeply.
The student will have experience in symbolic and numerical of M
COM-304: Communications projectThe course teaches the development of systems that solve real-world challenges in communications, signal processing, AI, and robotics. Students will work in teams, construct their ideas, and either pr
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
MGT-418: Convex optimizationThis course introduces the theory and application of modern convex optimization from an engineering perspective.
CH-315: Modeling labIn this course we give a hands-on introduction on the use of modeling and data in chemistry. After an introduction in the different tools used by computational chemists, we discuss three topics in mor
MATH-381: Mathematical logicBranche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
EE-607: Advanced Methods for Model IdentificationThis course introduces the principles of model identification for non-linear dynamic systems, and provides a set of possible solution methods that are thoroughly characterized in terms of modelling as
