Henning Kerstan

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

News and Blog Posts

2018

I am returning to the consulting business

Sat, 3 Mar 2018 – Sat, 3 Mar 2018

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.


2017

Preprint of Coalgebraic Behavioral Metrics is now available

Thu, 21 Dec 2017 – Sat, 30 Dec 2017

As of today the preprint of our article Coalgebraic Behavioral Metrics (joint work with Paolo Baldan, Filippo Bonchi and Barbara König) is available on arXiv. It will be published soon in the open access journal Logical Methods in Computer Science (LMCS). If you have any questions or comments, feel free to contact me.


I will attend D-CON 2018

Fri, 15 Dec 2017 – Wed, 20 Dec 2017

I will attend the D-CON 2018 meeting on March 1-2 in Darmstadt.


HSTS Enabled

Sat, 21 Oct 2017 – Sat, 21 Oct 2017

After I have now thoroughly tested that this site’s TLS configuration works, I enabled the HTTP Strict Transport Security (HSTS) response header.


Two LaTeX Packages (hkexercise, hknumsheets) now published on GitHub

Thu, 27 Jul 2017 – Wed, 20 Dec 2017

Now that I’m back to academia, I’ve decided to (and also found some time to) publish some of the LaTeX macros I’ve written for some common teaching/research activities.


I received the Best Thesis Award for my PhD thesis

Thu, 29 Jun 2017 – Sat, 30 Dec 2017

Yesterday I received the Best Thesis Award of the Faculty of Engineering (University of Duisburg-Essen, summer term 2016) for my PhD thesis Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses!


Back to Academia

Tue, 4 Apr 2017 – Tue, 19 Sep 2017

I am now a postdoctoral researcher (postdoc) in the research group Security in Information Technology (SIT) at the TU Darmstadt.


2016

Thesis Published

Sun, 15 May 2016 – Sat, 30 Dec 2017

I have published my PhD thesis Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses! For more information (including a link to download the thesis and the slides of the defense talk) visit its website.


Thesis Defended

Thu, 21 Apr 2016 – Sat, 30 Dec 2017

Yesterday I have successfully defended my PhD thesis Coalgebraic Behavior Analysis — From Qualitative to Quantitative Analyses. For more information on my thesis (including a preprint and the slides of the talk) visit its website.


D-CON 2016

Sat, 13 Feb 2016 – Mon, 18 Sep 2017

I will attend the D-CON meeting on March 7-8 in Saarbrücken.


2015

Towards Trace Metrics via Functor Lifting

Mon, 11 May 2015 – Mon, 18 Sep 2017

Our paper Towards Trace Metrics via Functor Lifting has been accepted for publication at CALCO 15. An extended version is available on arXiv:1505.08105 and you can download the slides.


AutoMathA 2015

Mon, 16 Mar 2015 – Mon, 18 Sep 2017

I will participate at the AutoMathA 2015 conference/spring school in Leipzig in May.


2014

FSTTCS 2014

Wed, 17 Sep 2014 – Tue, 19 Sep 2017

Our submission Behavioral Metrics via Functor Lifting has been accepted for publication at FSTTCS 2014 (New Delhi, India, December 15–17, 2014).

An extended preprint (with appendix/proofs) is now available on arXiv.org: arXiv:1410.3385.


2013

LMCS

Thu, 5 Dec 2013 – Tue, 19 Sep 2017

Yesterday my first journal article was published in the open access journal Logical Methods in Computer Science (LMCS). It is freely available on arXiv so you can check what I’ve been doing. If you have any questions or comments, feel free to contact me.