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

Henning Kerstan



Welcome to my personal website! See below for the most recent posts or use the menu to find out, for instance,

Recent posts

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).

Read more ...

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.