CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
EE-370: Electric power systemsCe cours décrit les composants d'un réseau électrique. Il explique le fonctionnement des réseaux électriques et leurs limites d'utilisation. Il introduit les outils de base permettant de les piloter.
FIN-406: MacrofinanceThis course provides students with a working knowledge of macroeconomic models that explicitly incorporate financial markets. The goal is to develop a broad and analytical framework for analyzing the
ChE-407: Electrochemical engineeringThis course builds upon the underlying theory in thermodynamics, reaction kinetics, and transport and applies these methods to electrosynthesis, fuel cell, and battery applications. Special focus is p
CIVIL-510: Quantitative imaging for engineersFirst 2 courses are Tuesday 16-19h!This course will arm students with knowledge of different imaging techniques for practical measurements in many different fields of civil engineering. Modalities wil
EE-381: Electronics IIIComparaison entre les systèmes à composants discrets et les systèmes intégrés. Introduction aux systèmes électroniques numériques et analogiques et à leur interfaçage. Analyse sous forme d'un projet
EE-345: Radiation and antennasLes antennes sont utilisées dans une multitude d'applications de communications et de détection, demandant des fréquences et propriétés d'antennes très différentes. Ce cours décrit la théorie de base
PHYS-317: Optics IL'optique est un vieux domaine qui touche à beaucoup de sujets modernes, des techniques expérimentales aux applications courantes. Ce premier cours traite plusieurs aspects de base de l'optique: propa
