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-0001-2345-6789
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

Teaching

Courses
Winter 22/23: Deduktions- und Inferenzsysteme (deduction and inference systems)
Summer 22: Deduktions- und Inferenzsysteme (deduction and inference systems)
Summer 10: Einführung in die Informatik für Logistiker (Computer Science for Students of Logistic); as student assistant
Summer 10: Einführung in die Programmierung mit C++ (Introduction to C++); as student assistant
Seminars
Winter 21/22: Logic in knowledge representation and reasoning
Summer 21: Logic in knowledge representation and reasoning
Winter 20/21: Logic in knowledge representation and reasoning
Summer 20: Logic in knowledge representation and reasoning
Winter 19/20: Logic in knowledge representation and reasoning
Summer 19: Logic in knowledge representation and reasoning
Winter 18/19: Logic in knowledge representation and reasoning
Summer 18: Logic in knowledge representation and reasoning
Winter 17/18: Logic in knowledge representation and reasoning
Summer 17: Logic in knowledge representation and reasoning
Theses Supervision

Acted as co-supervisor for over 15 BA and MA thesis, this includes finding an appropriate thesis topic for these students

Publications

See dblp for a list of recent publications.

Activities

Chair Programm comitee: