Explore projects

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

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

An universal bidsificator of multi-modal datsets

Guiding RML Authoring with an MPS based Projectional Editor.

Analysis and optimization cases for DART

Discrete Adjoint for Rapid Transonic Flows

Custom implementation of nf-core RNAseq pipeline