Explore projects

Autograding infrastructure for Moodle. An EPFL-DRIL funded project.

EPFL CS550 - Formal Verification

Scientific programming for Engineers - MATH 611 @EPFL

MATH-611 Project - Sahar Rezapour and Gaetan Raynaud

Multiple quadrotor simulator with controller and estimator in MATLAB