Explore projects

Instruction sheet describing the basics of VEGA operations. Intended for printing, to keep next to the EL-B 216 control room computer.

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

Spack repository containing stub implementations of third party packages that are installed as externals

This project aims to simulate various types of scattering spectra (Thomson, Raman, Rayleigh) and the expected detected signal for several diagnostic setups (transmission grating spectrometer, ...).

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

Solver for higher-order functional programs

Program verifier for Scala. Documentation, sources on GitHub

Computer language processing

Tools to enforce input and output argument checks in C MEX-files for MATLAB

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

Programming materials for the course 'Numerical Approximation of PDEs', Spring 2026