2019
Mein exercisepoints Paket ist auf CTAN verfügbar
Tue, 12 Feb 2019 – Tue, 31 Mar 2020
Am Anfang diesen Jahres habe ich mein exercisepoints LaTeX-Paket auf das Comprehensive TeX Archive Network (CTAN) hochgeladen.
2018
Artikel Coalgebraic Behavioral Metrics veröffentlicht
Sat, 22 Sep 2018 – Tue, 31 Mar 2020
Am 14. September wurde unser Artikel Coalgebraic Behavioral Metrics (gemeinsame Arbeit with Paolo Baldan, Filippo Bonchi and Barbara König) im Open Access Journal Logical Methods in Computer Science (LMCS) veröffentlicht. Wenn Sie irgendwelche Fragen oder Anmerkungen haben, können Sie mich gerne kontaktieren. Sie können den Artikel direkt von der LMCS-Webseite oder von arXiv herunterladen.
Ich kehre zurück in die Unternehmensberatung
Sat, 3 Mar 2018 – Tue, 31 Mar 2020
Nach einem interessanten und herausforderndem Jahr als Postdokorand im Bereich Cybersicherheit an der TU Darmstadt, werde ich nun erneut aus der Wissenschaft in die Unternehmensberatung wechseln. Anfang April werde ich meine vorherige Position als Unternehmensberater bei PwC wieder aufnehmen.