Explore projects

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

Introductory work for my Master's Internship

https://cncz.pages.science.ru.nl/wallpapers

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

Build and CI scripts for Clean

Grammatical inference using the Z3 SMT solver