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 Clean Order Project, consisting of three deliverables worth 65% of the final grade.
Explores the Weibull model's application to random data and its significance in analyzing material strength and failure probability.
Covers the configuration of a project management tool and defining project structures, geographical locations, and risks.
Introduces the Swiss Research Program focused on engineering multi-scale systems for health, security, energy, and the environment.
