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

Dr. Henning Kerstan – Lebenslauf

DE EN

Kurzprofil

Berufserfahrung

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

Essen • Deutschland • https://tuvit.de

Produktmanager

Senior IT Sicherheitsexperte/-berater

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC)

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

Unternehmensberater (Senior Associate – Technology Consulting, CIO Advisory)

  • Erstellung einer Kryptographierichtlinie für ein Pharmaunternehmen
  • Beratung bei Überarbeitung eines Information Security Management Systems (ISMS) nach DIN ISO/IEC 27001/2 unter besonderer Berücksichtigung datenschutzrechtlicher Anforderungen in der globalen IT eines Automobilherstellers
  • Operative Projektleitung (Beratungsteam) und Beratung bei Prozessanalyse und -dokumentation bei Implementierung der Datenschutz-Grundverordnung (DSGVO) im Vertrieb eines deutschen Automobilherstellers
  • Unterstützung bei Implementierung der Datenschutz-Grundverordnung (DSGVO) bei einem internationalen Mobilitätsdienstleister

Technische Universität Darmstadt

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

Wissenschaftlicher Mitarbeiter (Postdoktorand) im Bereich IT-Sicherheit

  • Lehre in Grundlagen der Kryptographie und der IT-Sicherheit
  • Aufbau, Anleitung und Betreuung eines neuen Tutorenteams
  • internationale Forschungskooperation (Deutschland und Italien)
  • Gutachter verschiedener internationaler Konferenzbeiträge

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC)

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

Unternehmensberater (Senior Consultant – Technology Consulting, CIO Advisory)

  • Technologie und IT-Beratung mit Fokus auf die Automobilbranche
  • Unterstützung im Projektmanagement bei Post Merger Integration
  • Verhandlung von IT Transitional Service Agreement und Unterstützung bei Post Merger Integration
  • Überarbeitung eines Marktmodells zum Thema vernetztes Automobil

Universität Duisburg-Essen

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

Wissenschaftlicher Mitarbeiter (Doktorand) in theoretischer Informatik

  • Grundlagenforschung in theoretischer Informatik und Mathematik
  • internationale Forschungskooperation (Frankreich, Italien, die Niederlande)- Vortragender bei verschiedenen internationalen Konferenzen und Workshops (Barbados, Indien, Deutschland, Frankreich, die Niederlande, Polen, Estland, Portugal, Vereinigtes Königreich)
  • Lehre in Grundlagen der Informatik und Mathematik
  • Gutachter verschiedener internationaler Konferenz- und Journalbeiträge

Henning Kerstan und Roman Ortmann GbR

Duisburg • Deutschland

Geschäftsführender Gesellschafter

  • Ton- und Lichttechnik für kleine Veranstaltungen
  • IT-Dienstleistungen für Privatpersonen und lokale Mittelstandsunternehmen
  • Webseitenentwicklung (WordPress) und Webseitenhosting
  • Softwareentwicklung (Objective-C auf iOS und Mac OS X)

Universität Duisburg-Essen

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

Studentische Hilfskraft

  • C++ Prototyp Implementierung eines Verfahrens zur Lösung eines komplexen Scheduling-Problems in der Stahlproduktion
  • Lehre (Übungsaufgaben)

Ausbildung

Promotion in Informatik (summa cum laude)

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

Diplom in Mathematik (1.0)

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

  • Abschluss: Diplom-Mathematiker (Dipl.-Math.)
  • Studienschwerpunkte: Algebra, Kryptographie, Optimierung
  • Nebenfach: Informatik

Abitur (1.0)

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

  • Bilinguale Ausbildung in Deutsch und Englisch
  • Entwicklung einer umfangreichen Client-Server Anwendung (Visual Basic 6.0) für die Wetterstation der Schule

Veröffentlichungen

Nachfolgend finden Sie eine kurze Auflistung meiner Publikationen. Eine detailliertere Übersicht inklusive Kurzzusammenfassungen finden Sie in meiner Online-Publikationsliste (https://henningkerstan.de/publikationen).

Monografien

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

Begutachtete Artikel in internationalen Fachzeitschriften

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

Begutachtete Artikel in Tagungsbänden internationaler Konferenzen

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

Andere Veröffentlichungen

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