Welcome to my personal website! See below for the most recent posts or use the menu to find out, for instance,
My exercisepoints package is available on CTAN
Tue, 12 Feb 2019 – Tue, 31 Mar 2020
In the beginning of this year, I uploaded my exercisepoints LaTeX package to the Comprehensive TeX Archive Network (CTAN).
Article Coalgebraic Behavioral Metrics is now published
Sat, 22 Sep 2018 – Tue, 31 Mar 2020
On September 14 our article Coalgebraic Behavioral Metrics (joint work with Paolo Baldan, Filippo Bonchi and Barbara König) was finally published in the open access journal Logical Methods in Computer Science (LMCS). If you have any questions or comments, feel free to contact me. You can download the article either on the LMCS-Website or on arXiv
I am returning to the consulting business
Sat, 3 Mar 2018 – Tue, 31 Mar 2020
After an interesting and challenging year as postdoctoral cyber security lecturer and researcher at TU Darmstadt, I will again move from academia to consulting. Starting in April, I will resume my previous position as technology consultant for PwC.