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

Curriculum Vitæ

DE EN

Work experience and employment

(Senior) IT Security Expert/Consultant

TÜV Informationstechnik GmbH (TÜViT) • Essen • Germany

  • business development (e.g. post quantum security (PQC), artificial intelligence (AI)/machine learning)
  • sales support
  • evaluation of IT security hardware (e.g. ICs for passports, credit cards, access control cards)
  • 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)

Small Business Owner (Geschäftsführender Gesellschafter)

Henning Kerstan und Roman Ortmann GbR • Duisburg • Germany

  • 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)

Senior Associate (Technology Consulting / CIO Advisory)

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC) • Düsseldorf • Germany

  • 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

Postdoctoral Researcher (Wissenschaftlicher Mitarbeiter) in IT Security

Technische Universität Darmstadt • Darmstadt • Germany

  • 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

Senior Consultant (Technology Consulting / CIO Advisory)

PricewaterhouseCoopers GmbH Wirtschaftsprüfungsgesellschaft (PwC) • Düsseldorf • Germany

  • 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

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

Universität Duisburg-Essen • Duisburg • Germany

  • 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 (excercises, tutorials, exams, thesis supervision)
  • referee for several international conference and journal submissions

Student Research and Teaching Assistant (Studentische Hilfskraft)

Universität Duisburg-Essen • Duisburg • Germany

  • 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

Diplom in Mathematics (1.0)

Universität Duisburg-Essen • Duisburg • Germany

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

Abitur (1.0)

Landfermann-Gymnasium • Duisburg • Germany

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

Publications

Below is only a short overview of my publications. For a more detailed overview including short summaries, please go to the list of 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

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