Thorsten Wißmann

Postdoctoral researcher in computer science and hobby programmer (github page).


Since 2021, I’m 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 (University of Erlangen and Nuremberg) under the supervision of Stefan Milius. See also my homepage at the group and my publications.

Software Projects


A generic minimization tool for coalgebras, in particular for deterministic automata, markov chains, labelled transition systems, Segala systems, and weighted tree automata. 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).

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 (more information on


A python wrapper around lemonbar.


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


You can get my e-mail address by reading the following characters strictly from the left to the right (regardless of the line they are in):

    e   u   t   o   s   e   -   i   s   a   n   d
      d   @   h   r   t   n   w   s   m   n   .   e

    (GPG-Key-ID: 0x1CAFF810)

My GPG-Key-ID: 0x1CAFF810