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

Curriculum Vitæ

DE EN

Work experience and employment

IT Security Expert

TÜV Informationstechnik GmbH • Essen • Germany

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 manufacturer
  • 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 manufacturer
  • 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 complete overview including short summaries, please go to the list of publications.

Monographs

[Ker16] Henning Kerstan. Coalgebraic Behavior Analysis.

[Ker11] Henning Kerstan. Trace Semantics for Probabilistic Transition Systems.

Refereed Articles in International Journals

[BBKK18] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Coalgebraic Behavioral Metrics.

[KK13] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems.

Refereed Articles in Proceedings of International Conferences

[BBKK15] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Towards Trace Metrics via Functor Lifting.

[BBKK14] Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König. Behavioral Metrics via Functor Lifting.

[KKW14] Henning Kerstan, Barbara König, Bram Westerbaan. Lifting Adjunctions to Coalgebras to (Re-)Discover Automata Constructions.

[KK12a] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.

Other

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

[KK12b] Henning Kerstan, Barbara König. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.