Explore projects

NNTI-condor-template

https://abfahrplan.fsr.saarland/ • Software for the departures board in our main room. (Supersedes https://gitlab.cs.uni-saarland.de/fsr/fsfahrplan)

Code base from my PhD

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.

This repo follows the practical coursework of the Microbial Data Analysis course of Saarland University and introduces to the current practices in Metagenomics analysis.