Explore projects

Used to be to mess with my buddy, but i got carried away :D

ATAC-Seq pipeline implemented as a webinterface.

Preamble for LaTeX projects

Emulate various automata, such as DFA, NFA, PDA and DTM

Bachelor's thesis gait recognition using Thermal Imaging

Solver for Tents puzzles implemented as part of the lecture SAT Solving in the winter term 2020/21

Jupyter notebooks for the lecture on software verification in WS 20/21

Spieler muss in moglichst wenig Spielz ¨ ugen 4 Raumschiffe im ¨ Weltall aufspuren; jeder Zug liefert Informationen ¨ uber die ¨ Positionen der Raumschiffe.