Dr. Kai Sauerwald

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.

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