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

Dr. Henning Kerstan – Curriculum Vitæ

DE EN

Summary

Dr. Henning Kerstan is an experienced project and product manager with 8+ years of professional experience in information security management, cybersecurity, and data privacy topics. This is complemented by a strong academic background in mathematics and computer science. He also has expertise in business development for emerging cybersecurity topics like post-quantum cryptography and AI/ML security.

Work experience and employment

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

Essen • Germany • https://tuvit.de

Head of Business Development Artificial Intelligence

  • evaluation services for artificial intelligence (AI) / machine learning (ML)
  • consult on cybersecurity and safety aspects of AI

ETAS GmbH, Bosch Group

Bochum • Germany • https://www.etas.com

Project Manager & Consultant for Automotive Cybersecurity

  • manage agile projects in a dynamic environment
  • consult on cybersecurity topics in the automotive industry (e.g., in line with UNECE R 155/156, ISO/SAE 21434, ISO/IEC 27001, NIST SP 800-53)
  • identify and assess risks in cloud-vehicle security architectures

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

Essen • Germany • https://tuvit.de

Product Manager

  • developed evaluation and certification services for artificial intelligence (AI) / machine learning (ML)
  • drove business development of hardware evaluation services, e.g., post-quantum security (PQC), or Secure Firmware Updater
  • provided technical sales support and wrote proposals for RfPs

Senior IT Security Expert/Consultant

  • developed evaluation and certification services for artificial intelligence (AI) / machine learning (ML)
  • led business development of hardware evaluation services, e.g., post-quantum security (PQC), or Secure Firmware Updater
  • provided technical sales support
  • conducted source code reviews (hardware-related, e.g., Boot-ROM, firmware) to detect physical attack potential (e.g., side-channel attacks, fault injection attacks)
  • performed source code reviews (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)

  • supported the redesign of an Information Security Management System (ISMS) in line with ISO/IEC 27000 standards, incorporating data protection requirements for the global IT infrastructure of a car OEM
  • developed a new ISMS cryptography policy for a pharmaceutical company
  • assisted with the analysis and documentation of business processes for the implementation of the European General Data Protection Regulation (GDPR) in the sales departments of a car OEM
  • contributed to the implementation of GDPR for an international mobility provider

Technische Universität Darmstadt

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

Postdoctoral Researcher (Wissenschaftlicher Mitarbeiter) in IT Security

  • taught the fundamentals of cryptography and IT security, created and edited lecture material, exercises, exams, and delivered lectures
  • recruited and mentored a new team of student teaching assistants
  • collaborated internationally with researchers in Germany and Italy
  • served as a peer reviewer for several international conference submissions

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC)

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

Senior Consultant (Technology Consulting / CIO Advisory)

  • provided technology and IT consulting focused on the automotive industry
  • supported the project management office for an IT project in an international post-merger integration
  • negotiated an IT Transitional Services Agreement in an international post-merger integration
  • revised a market sizing model for 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

  • collaborated internationally with researchers in France, Italy, and the Netherlands
  • presented at various international conferences and workshops in countries including Barbados, India, Germany, France, Netherlands, Poland, Estonia, Portugal, and the UK
  • taught exercise groups, gave tutorials, prepared and graded exams, and supervised theses
  • served as a peer reviewer for multiple international conference and journal submissions

Henning Kerstan und Roman Ortmann GbR

Duisburg • Germany

Small Business Owner (Geschäftsführender Gesellschafter)

  • provided sound and lighting equipment for small events (concerts, sport events, proms, weddings, birthdays)
  • offered IT support for individuals and small local companies
  • developed websites (Typo3, WordPress) and provided webhosting

Universität Duisburg-Essen

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

Student Research and Teaching Assistant (Studentische Hilfskraft)

  • implemented a C++ prototype of an algorithm for solving a scheduling problem in steel production
  • taught several exercise groups and graded studend homework (basic math/computer science)

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