This is your work, valued
PhD student at Radboud University. Currently working on categorical automata theory.
sfpl. A simple functional programming language.