Explore projects

EPFL CS550 - Formal Verification

Scientific programming for Engineers - MATH 611 @epfl

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

2D PIC code used at SPC for simulation of trapped electron clouds in Penning like traps. General electrode geometries are simulated using web-splines method. Poisson solver is based on finite element methods. Electron collisions against a uniform background gas are simulated with a Monte Carlo approach.

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

Hand v2.1, Hand v3

Code for "Ensuring Stability in Bilinear Structured State-Space Models via IQCs: A Free Parameterisation Approach"