Explore projects

Computer language processing

EPFL CS550 - Formal Verification

Scientific programming for Engineers - MATH 611 @epfl

SCDDS (Simulink-based Control Design and Deployment Suite). https://scdds-core.readthedocs.io/en/latest/

CHEASE fixed-boundary axisymmetric tokamak equilibrium code

The Gyrokinetic Advanced Collisions Moment solver (Gyacomo or GYAC) is a nonlinear local delta-f gyrokinetic code evolving strongly magnetized plasma turbulence. It is able to use advanced collision operators up to the linear GK Landau collision model. Wiki: https://gitlab.epfl.ch/ahoffman/gyacomo/-/wikis/home

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

Demonstration project for SCDDS

Decoder for the DSD TP 8/9 led array