a picture of Kai

Dr. Kai Sauerwald

FernUniversität in Hagen, Germany
Faculty of Mathematics and Computer Science
Artificial Intelligence Group
kai.sauerwald@fernuni-hagen.de
ORCID 0000-0002-1551-7016
Profiles: dblp scholar researchgate

A full curriculum vitae can be downloaded here: CurriculumVitae

Education

2022 Dr. rer. nat. (PhD) in Computer Science
FernUniversität in Hagen, Germany
Thesis: Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability
Supervisors: Prof. Dr. Christoph Beierle, Prof. Dr. Garbiele Kern-Isberner
2017 Master of Science in Computer Science
TU Dortmund University, Germany
Thesis: Analyse und Synthese Regulärer Ausdrücke: Algorithmen und Komplexität
(English: Analysis and Synthesis of Regular Expressions: Algorithms and Complexity)
Supervisors: Prof. Dr. Thomas Schwentick, Prof. Dr. Thomas Zeume
2014 Bachelor of Science in Computer Science
TU Dortmund University, Germany
Thesis: Visibly Pushdown Automata: VPA mit Ausgabe
(English: Visibly Pushdown Automata: VPA with Output)
Supervisor: Prof. Dr. Thomas Schwentick, Dr. Martin Schuster