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