Thorsten Wißmann



Since 2023, I’m a postdoc at the chair of theoretical computer science at the FAU (University of Erlangen and Nuremberg). Before that, I was a postdoc at the Software Science group at the Radboud University in Nijmegen. From 2015 to 2020 I did a PhD in computer science at the FAU.

My research interests includes the generic treatment of state-based systems via coalgebra and generic algorithms powered by category theory.

Software Projects

More software can be found on my github page.

herbstluftwm (github page)

a manual tiling window manager for unix-related operating systems. If you have any questions or comments on it, then feel free to join #herbstluftwm on the libera irc network (more information on


A generic minimization tool for coalgebras, in particular for deterministic automata, markov chains, labelled transition systems, Segala systems, and weighted tree automata — written in haskell. It implements the algorithm from this concur special issue paper and CoPaR itself is presented in this Formal Methods 2019 paper (awarded the Best Theory Paper Award).


A panel for herbstluftwm; it is essentially a python wrapper around lemonbar.


a terminal-ui calendar application, written in haskell, currently supporting only remind calendars.

train shunting puzzles

Web application for solving train shunting puzzles, written in the purely functional language elm (source code).


    edu _at_
    (GPG-Key-ID: 0x1CAFF810)

My GPG-Key-ID: 0x1CAFF810