Article Coalgebraic Behavioral Metrics is now published
22.09.2018
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
03.03.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.
Preprint of Coalgebraic Behavioral Metrics is now available
21.12.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 received the Best Thesis Award for my PhD thesis
29.06.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
04.04.2017
I am now a postdoctoral researcher (postdoc) in the research group Security in Information Technology (SIT) at the TU Darmstadt.
LMCS
05.12.2013
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.