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.
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
#herbstluftwmon the libera irc network (more information on herbstluftwm.org).
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_ thorsten-wissmann.de
My GPG-Key-ID: 0x1CAFF810