Explore projects

The evolving specification for Alethe, a flexible format for SMT proofs.

Repository containing open position at the GIGA Cyclotron Research Centre in vivo imaging.

Python Agrivoltaics Simulation Environment (PASE)

Thesis : https://hdl.handle.net/2268/326176

Paper: https://doi.org/10.1007/s10457-024-01090-8

Documentation in the wiki

Python training materials

An universal bidsificator of multi-modal datsets

Python training materials

Course Material for "Multiphysics integrated computational project" (math0471)

Guiding RML Authoring with an MPS based Projectional Editor.