About Me

PhD Student @ TUM, working on static analysis, fixpoint engines
you can find me teaching, painting, playing the bass guitar, juggling or trying out new stuff
this site consists of my personal ramblings
github