Science
I’m a postdoc (Akademischer Rat auf Zeit) at the chair of theoretical computer science at the FAU (University of Erlangen and Nuremberg). Previously, I was a postdoc at the Software Science group at the Radboud University in the Netherlands, a guest researcher at the National Institute of Informatics in Japan, and during a research scholarship at the Australian National University, Canberra, Australia.
My research interests include algorithms powered by category theory, automata learning, and interactive theorem proving (in Agda).
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
#herbstluftwmon the libera irc network (more information on herbstluftwm.org). - CoPaR
-
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).
- barpyrus
-
A panel for herbstluftwm; it is essentially a python wrapper around lemonbar.
- caligraph
-
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).
Contact
edu _at_ thorsten-wissmann.de
(GPG-Key-ID: 0x1CAFF810)My GPG-Key-ID: 0x1CAFF810