Explores the EPFL Robot Competition, where students build a robot to clean rooms and retrieve bottles, gaining valuable hands-on experience and preparing for future engineering roles.
Explores the network effects of deep brain stimulation beyond the basal ganglia, focusing on optimal connectivity and the role of brain oscillations in PD motor symptoms.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
