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

Blog

DE EN

2019

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

2018

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.


2017

Preprint of Coalgebraic Behavioral Metrics is now available

Thu, 21 Dec 2017 – Tue, 31 Mar 2020

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.


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

Thu, 27 Jul 2017 – Tue, 31 Mar 2020

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.

Read more ...

I received the Best Thesis Award for my PhD thesis

Thu, 29 Jun 2017 – Tue, 31 Mar 2020

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!

Read more ...

Back to Academia

Tue, 4 Apr 2017 – Tue, 31 Mar 2020

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 – Tue, 31 Mar 2020

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 – Tue, 31 Mar 2020

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.


2015

Towards Trace Metrics via Functor Lifting

Mon, 11 May 2015 – Tue, 31 Mar 2020

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] (http://arxiv.org/abs/1505.08105) and you can download the slides.


2014

FSTTCS 2014

Wed, 17 Sep 2014 – Tue, 31 Mar 2020

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, 31 Mar 2020

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.