Introduces new Identity Providers at EPFL, emphasizing user autonomy, advanced security measures, and the transition to modern authentication protocols.
Covers the Trust and Support Network (TSN) and Respect Compliance Office (RCO) at EPFL, focusing on administrative processes and mental health support.
Introduces the ME-104 course on structural mechanics, covering objectives, logistics, and key concepts in understanding static forces and structural analysis.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers the derivation of formal solutions to the Radiative Transfer Equation and discusses isotropic scattering, optical thickness, and Monte Carlo method applications.