Łukasz Kaiser
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Fax: | +49-241-80-22215 |
Research
My 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.
Recent Publications
- F. Abu Zaid, E. Grädel, and Ł. Kaiser. The Field of Reals is not omega-Automatic. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012 (C. Dürr and T. Wilke, Eds.), 2012.
- D. Berwanger, E. Grädel, Ł. Kaiser, and R. Rabinovich. Entanglement and the Complexity of Directed Graphs. Theoretical Computer Science, vol. 463(0), pp. 2–25, 2012.
- D. Berwanger, Ł. Kaiser, and S. Lessenich. Solving Counter Parity Games. In Mathematical Foundations of Computer Science 2012 (B. Rovan, V. Sassone, and P. Widmayer, Eds.), vol. 7464 of Lecture Notes in Computer Science, pp. 160-171. Springer Berlin / Heidelberg, 2012.
- D. Fischer and Ł. Kaiser. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems. Logical Methods in Computer Science, vol. 8(3), 2012.
- Ł. Kaiser and S. Lessenich. A Counting Logic for Structure Transition Systems. In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL (P. Cégielski and A. Durand, Eds.), vol. 16 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 366–380, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2012.
Selected Talks
- Playing Games when States have Rich Structure, GT Jeux Meeting, Paris, 2010.
- Decomposition Theorems in Logic, Invited talk Celebrating the 100th Volume of Fundamenta Informaticæ, Warsaw, 2010.
- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures, CSL, Brno, and similar at Games Meeting, Oxford, 2010. (Video file: automaton.ogg)
- Cardinality quantifiers in MLO over trees, CSL, Coimbra, 2009.
- Synthesis for Structure Rewriting Systems, MFCS, High Tatras, 2009.
- Model Checking Games for the Quantitative mu-Calculus, Dagstuhl Seminar, 2008.
- Logic and Games on Automatic Structures, Aachen Informatk-Seminar, 2008.
- Countable omega-Automatic Structures, AlMoTh Meeting, Aachen, 2007.
- Memory for Infinitary Games, AlgoSyn Seminar, Aachen, December 2006.
- Game Quantifier on Automatic Structures and Hierarchical Games, GAMES Meeting, Cambridge, and similar at CSL, Szeged, 2006.
- Confluence of Right Ground Term Rewriting Systems is Decidable, FOSSACS, Edinburgh, 2005.