Dr. Łukasz Kaiser

Łukasz Kaiser, Ph.D. is Researcher at RWTH Aachen, Germany. His research interests include logic, especially algorithmic model theory, and combinatorial games both as means for efficient model checking of computer systems and as interesting mathematical objects.
 
Łukasz authored Synthesis for Structure Rewriting Systems and Program Search as a Path to Artificial General Intelligence and coauthored Playing General Structure Rewriting Games, Cardinality quantifiers in MLO over trees, Model Checking Games for the Quantitative μ-Calculus, Directed Graphs of Entanglement Two, Information Tracking in Games on Graphs, Degrees of Lookahead in Regular Infinite Games, What kind of memory is needed to win infinitary Muller games?, and Cardinality and Counting Quantifiers on Omega-Automatic Structures.
 
He earned his Master of Science in Computer Science at the University of Wroclaw, Poland with the thesis “Confluence of Right Ground Term Rewriting Systems is Decidable” in 2003. He also earned his Master of Science in Mathematics at the University of Wroclaw, Poland with the thesis “On the extensions of approximative density” in 2003. He earned his Ph.D. at RWTH Aachen, Germany with the thesis “Logic and Games on Automatic Structures” in 2008.