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

Dr. Henning Kerstan – Curriculum Vitæ

DE EN

Summary

Work experience and employment

TÜV Informationstechnik GmbH (TÜV IT), TÜV NORD GROUP

Essen • Germany • https://tuvit.de

Product Manager

Senior IT Security Expert/Consultant

  • development of evaluation and certification services for artificial intelligence (AI) / machine learning (ML)
  • business development hardware evaluation, e.g. post quantum security (PQC), or Secure Firmware Updater
  • technical sales support
  • source code review (hardware-related, e.g. Boot-ROM, firmware) to detect physical attack potential (e.g. side channel attacks, fault injection attacks)
  • source code review (high-level, e.g. implementations of cryptographic algorithms)

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC)

Düsseldorf • Germany • https://pwc.de

Senior Associate (Technology Consulting / CIO Advisory)

  • support for the redesign of an Information Security Management System (ISMS) wrt. ISO/IEC 27000 family of standards and special consideration of data protection requirements in the global IT of a car OEM
  • development of a new ISMS cryptography policy for a pharma company
  • support for the analysis and documentation of business processes during the implementation of the European General Data Protection Regulation (GDPR) in the sales department of a car OEM
  • support for the implementation of the GDPR for an international mobility provider

Technische Universität Darmstadt

Darmstadt • Germany • https://www.tu-darmstadt.de

Postdoctoral Researcher (Wissenschaftlicher Mitarbeiter) in IT Security

  • teaching of basics in cryptography and IT security (creation and editing of lecture material, exercises, exams as well as giving the lectures)
  • recruitment and mentoring of a new team of student teaching assistants
  • international collaboration with scientists in Germany and Italy
  • referee for several international conference submissions

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC)

Düsseldorf • Germany • https://pwc.de

Senior Consultant (Technology Consulting / CIO Advisory)

  • technology and IT consulting with focus on the automotive industry
  • IT project management in an international post merger integration
  • negotiation of an IT Transitional Services Agreement in an international post merger integration
  • revision of a market sizing model in a connected car study

Universität Duisburg-Essen

Duisburg • Germany • https://www.uni-due.de

Research and Teaching Assistant (Wissenschaftlicher Mitarbeiter) in Theoretical Computer Science

  • international collaborations with scientists in France, Italy, the Netherlands
  • speaker at various international conferences and workshops (Barbados, India, Germany, France, Netherlands, Poland, Estonia, Portugal, UK)
  • teaching (exercises, tutorials, exams, thesis supervision)
  • referee for several international conference and journal submissions

Henning Kerstan und Roman Ortmann GbR

Duisburg • Germany

Small Business Owner (Geschäftsführender Gesellschafter)

  • sound and light equipment for small events (concerts, sport events, proms, weddings, birthdays)
  • IT support for individuals and local medium-sized companies
  • website development (Typo3, WordPress) and hosting
  • software development (Objective-C on iOS and Mac OS X)

Universität Duisburg-Essen

Duisburg • Germany • https://www.uni-due.de

Student Research and Teaching Assistant (Studentische Hilfskraft)

  • C++ prototype implementation of an algorithm for solving a scheduling problem in steel production
  • teaching (exercises)

Education

PhD in Computer Science (summa cum laude)

Universität Duisburg-Essen • Duisburg • Germany • https://www.uni-due.de

Diplom in Mathematics (1.0)

Universität Duisburg-Essen • Duisburg • Germany • https://www.uni-due.de

  • degree: Diplom-Mathematiker (Dipl.-Math.)
  • specialization: algebra, cryptography, operations research
  • minor: computer science

Abitur (1.0)

Landfermann-Gymnasium • Duisburg • Germany • https://landfermann.de

  • bilingual education in German and English
  • development of a network application (VisualBasic 6.0) for the school’s weather station

Publications

Below is a short overview of my publications. For a more detailed overview including short summaries, please go to my online list of publications (https://henningkerstan.de/en/publications).

Monographs

[Ker16] Henning Kerstan. Coalgebraic Behavior Analysis. PhD thesis. Universität Duisburg-Essen. 2016.

[Ker11] Henning Kerstan. Trace Semantics for Probabilistic Transition Systems. Diplomarbeit (final thesis in the German diploma degree; equivalent to a master's thesis). Universität Duisburg-Essen. 2011.

Refereed Articles in International Journals

[BBKK18] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Coalgebraic Behavioral Metrics. Logical Methods in Computer Science. 14 (3). 2018.

[KK13] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems. Logical Methods in Computer Science. 9 [4:16] (834). 2013.

Refereed Articles in Proceedings of International Conferences

[BBKK15] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Towards Trace Metrics via Functor Lifting. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15) . Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 2015.

[BBKK14] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Behavioral Metrics via Functor Lifting. In 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) . Volume 29 of Leibniz International Proceedings in Informatics (LIPIcs). Editor(s): Venkatesh Raman, S. P. Suresh. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 2014.

[KKW14] Henning Kerstan, Barbara König, Bram Westerbaan. Lifting Adjunctions to Coalgebras to (Re-)Discover Automata Constructions. In Coalgebraic Methods in Computer Science . Volume 8446 of Lecture Notes in Computer Science. Editor(s): Marcello M. Bonsangue. Springer, Berlin, Heidelberg. 2014.

[KK12a] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. In CONCUR 2012 – Concurrency Theory. Volume 7454 of Lecture Notes in Computer Science. Editor(s): Maciej Koutny, Irek Ulidowski. Springer, Berlin Heidelberg. 2012.

Other Publications

[KLG21] Henning Kerstan, Marc Le Guin. Sichere Firmware-Updater für sichere Embedded Systems. In Security-Insider. Editor(s): Peter Schmitz. Vogel IT-Medien GmbH. 2021.

[VAK+16] Richard Viereckl, Dietmar Ahlemann, Alex Koster, Evan Hirsh, Felix Kuhnert, Joachim Mohs, Marco Fischer, Walter Gerling, Kaushik Gnanasekaran, Julia Kusber, Juliane Stephan, David Crusius, Henning Kerstan, Trent Warnke, Manuel Schulte, Jonas Seyfferth, Edward H. Baker. Connected car report 2016. In Connected car report 2016. Editor(s): Richard Viereckl, Alex Koster, Evan Hirsh, Dietmar Ahlemann. PwC Strategy&. 2016.

[KK12b] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. Technical report. Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen. 2012.