Explore projects

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

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

EPFL CS550 - Formal Verification

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, ...).

Efficient localization and navigation in cluttered environments with a team of robots

Scientific programming for Engineers - MATH 611 @epfl

Repository for the EPFL class MATH-458, Programming Concepts in Scientific Computing