Explore projects

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

CHEASE fixed-boundary axisymmetric tokamak equilibrium code

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

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.

EPFL CS550 - Formal Verification