Explore projects

Clean compiler

Graph Isomorphic Networks for assessing the N-1 principle on energy grids

Fast evaluation of LCQ energy-resolved CID calibration by thermometer ions with E(tcid) measured by Armentrout.

Build and CI scripts for Clean

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

Introductory work for my Master's Internship

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Implementing the L* learning algorithm for nominal automata, using the ONS library