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

I am a postdoctoral researcher at the Artificial Intelligence Group chaired by Matthias Thimm of the FernUniversität in Hagen, Germany. My general research areas of interest are logics and formal systems for artificial intelligence (knowledge representation and reasoning), specifically focusing on the dynamics of knowledge and belief.

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 (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 (Visibly Pushdown Automata: VPA with Output)
Supervisors: Prof. Dr. Thomas Schwentick