Here is a list of talks I’ve given or will give. Until and including 2016, these are my scientific talks. From 2017 onwards, these are public talks I’ve given for my respective employers.
2021
Wie prüft man Algorithmen, Henning Kerstan? (How does one test algorithms, Henning Kerstan?)
- März 2021, podcast episode of “Entdeckt, erklärt, erzählt”, a podcast of #explore, the online magacine of TÜV NORD GROUP, available on all major podcast platforms, e.g. Apple Podcasts, YouTube, Google Podcasts, Spotify
2020
Vertrauen schaffen in KI-Systeme durch unabhängige Prüfung (Establishing Trust in AI-Systems by Independent Testing)
- October 2020, it-sa 356 online, the video is available on Youtube
2016
Coalgebraic Behavior Analysis — From Qualitative To Quantitative Analyses (PhD Defense)
- April 2016, Universität Duisburg-Essen, Germany For more information on my thesis (including a link to download the thesis and the slides of the defense talk) click here.
2015
Towards Trace Metrics via Functor Lifting (Slides)
- June 2015, CALCO 2015, Nijmegen, The Netherlands
Behavioral Metrics via Functor Lifting
- March 2015, D-CON 2015, Kerkrade, The Netherlands
2014
Behavioral Metrics via Functor Lifting (Slides)
- December 2014, FSTTCS 2014, New Delhi, India
Lifting Adjunctions to (Co)Algebras to (Re)Discover Automata Constructions
- April 2014, CMCS 2014, Grenoble, France
- March 2014, D-CON 2014, Ilsenburg, Germany
Trace Semantics for Continuous Probabilistic Transition Systems
- March 2014, Bellairs Workshop on Probability, Holetown, Barbados
2013
Trace Semantics for Probabilistic Transition Systems based on Measure Theory
- September 2013, QAIS-Workshop 2013, Braga, Portugal
Lifting Coalgebras To Adjunctions (Best Presentation Award, Slides)
- September 2013, CALCO Early Ideas 2013, Warsaw, Poland 2012
Trace Semantics for Probabilistic Transition Systems based on Measure Theory
- September 2012, Groupe de Travail Tempo/Mexico, ENS de Cachan, Cachan, France
- September 2012, Séminaire du LMEaSI, CEA List, Saclay, France
- September 2012, CONCUR 2012, Newcastle upon Tyne, United Kingdom
- March 2012, D-CON 2012, Kaiserslautern, Germany