Explores socially-aware AI for last-mile mobility, focusing on understanding social etiquettes, anticipating behaviors, and forecasting crowd movements.
Explores data-driven modeling of haemodynamics in vascular flows, focusing on computational challenges, reduced order modeling, FSI problems, and neural network applications.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Outlines the Master's program in Computational Science and Engineering at EPFL, detailing its structure, curriculum, and career opportunities for graduates.