Explore projects

Proof assistant based on first-order logic and set theory

Code and project management repository for Castration/Regeneration multiome analysis (Estelle Deby @KathausLab EPFL)

Interpolation using splines

Code for "Data-driven Approach for Disturbance Rejection for Dual-Stage Actuator Hard Disk Drives"

Code for "Optimal uncertainty quantification and identification for MIMO systems"

Toolset to deploy software stacks

Multiple quadrotor simulator with controller and estimator in MATLAB

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