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!
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
CIVIL-430: Concrete bridgesCe cours traite les principaux aspects de la conception et du dimensionnement des ponts en béton armé et précontraint. L'accent est mis sur les ponts poutres. Etude des aspects suivants : optimisation
AR-481: Architecture in the age of accelerationThis course proposes to investigate six strategies for architecture in the age of acceleration: Acceleration, Regionalism, Participation, Transformation, Commonality and Resilience. Anchoring these st
MSE-489: Biomaterials (for SV)The course introduces the main classes of biomaterials used in the biomedical field. The interactions with biological environment are discussed and challenges highlighted. State of the art examples pe
HUM-122(b): Global issues: communication BCe cours présente les enjeux mondiaux de la communication en lien avec l'essor de l'intelligence artificielle (IA). L'approche interdisciplinaire intègre les SHS avec les sciences de l'ingénierie et i
AR-202(o): Studio BA4 (Verschuere)In the early days of the Anthropocene, the concepts of "Nature and Culture" are being revisited by a number of contemporary thinkers. The studio will take this paradigm shift as an opportunity to addr
EE-203: Electronics IICe cours introduit les composants à semiconducteurs électroniques de base : diodes à jonction PN, transistors bipolaires et MOS. Leurs modes de fonctionnement en DC et AC sont étudiés. Les circuits
CIVIL-122: Structures ILe cours présente les bases du comportement des structures, de la détermination des efforts qui y agissent et les principes de leur dimensionnement. Le cours est basé sur la résolution des efforts par