I am a junior researcher of the Cyber-Physical Systems group (CPS) of the German Research Center for Artificial Intelligence (DFKI) in Bremen and a PhD candidate at the University of Bremen in the Group of Computer Architecture (AGRA).

My research interests are formal verification of circuits, interactive theorem provers and functional programming.

All source code that is related to my research topics is available under:


Email: fritjof@uni-bremen.de PGP/GPG