Henning Kerstan
This website requires JavaScript. Please enable JavaScript for this website.

Blog

DE EN

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.

Read more ...

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.