Explores natural transformations and adjunctions in category theory, illustrating concepts through concrete examples and discussing the conditions for the existence of adjoints.
Delves into the development of project-based learning at EPFL, emphasizing interdisciplinary projects, transversal skills, and strategic alignment with best practices in engineering education.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
