Explore projects

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025

Python library for reading and parse the RainQuest Hackathon organized by KCDS.

An EDA toolchain for interval thermal simulations of 2D multi-/many-cores in an open system.

FAIRO data processing tools

VRE-Language: A family of domain-specific languages and supporting tools for scientific computing, materials modeling and data analysis

Python code for managing GridKa node configurations stored in NetDoc.