Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21711
Fax:	+49-241-80-22215
Büro:	2U02 (E1) / Ahornstr. 55
E-Mail:	puchala [AT] logic.rwth-aachen.de

Forschung

Ich bin seit November 2011 tätig innerhalb des DFG Forschungsprojektes Partielle Information in Logik und Spielen.

Der Schwerpunkt meiner Forschungsinteressen liegt im Bereich der Entscheidbarkeit sowie Komplexität von Interaktion unter partieller Information. Das zentrale Problem ist die Synthetisierung von Gewinnstrategien in Spielen mit imperfekter Information, insbesondere in unendlichen Spiele auf endlichen Graphen. Dies hängt eng zusammen mit der Theorie endlicher Automaten, insbesondere Automaten auf unendlichen Objekten, sowie Graphentheorie, insbesondere Graph-Komplexitätsmaßen. Darüber hinaus spielen Logiken zur Beschreibung gewisser Aspekte von Interaktion unter partieller Informatik eine große Rolle, wie etwa epistemische Logiken und dependence logic.

Von Oktober 2008 bis September 2011 war ich tätig innerhalb des ESF EUROCORES Forschungsprojektes LogICCC, Collaborative Research Project Logic for Interaction (LINT).

Aktuelle Publikationen

• D. Berwanger, Ł. Kaiser, and B. Puchala. A Perfect-Information Construction for Coordination in Games. In 31st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '11, pp. 387-398. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011.
• W. Fridman and B. Puchala. Distributed Synthesis for Regular and Contextfree Specifications. In Proceedings of the 36th International Symosium on Mathematical Foundations of Computer Science, MFCS 2011, Lecture Notes in Computer Science, pp. 532–543. Springer, 2011.
• B. Puchala and R. Rabinovich. Graph Searching, Parity Games and Imperfect Information. arXiv:1110.5575v1 [cs.GT], 2011.
• B. Puchala. Asynchronous Omega-Regular Games with Partial Information. In Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science 2010, MFCS '10, vol. 6281 of LNCS, pp. 592–603. Springer, 2010.
• B. Puchala and R. Rabinovich. Parity Games with Partial Information Played on Graphs of Bounded Complexity. In Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science 2010, MFCS '10, vol. 6281 of LNCS, pp. 604–615. Springer, 2010.

Alle Publikationen

Ausgewählte Vorträge

• Concurrent Graph Searching (Young Researchers Workshop on Concurrency Theory, Aachen, 2011)
• Distributed Synthesis for Regular and Contextfree Specifications (36th International Symposium on Mathematical Foundations of Computer Science, Warszawa, 2011)
• Asynchronous Omega-Regular Games with Partial Information (35th International Symposium on Mathematical Foundations of Computer Science, Brno, 2010)
• Parity Games with Partial Information Played on Graphs of Bounded Complexity (35th International Symposium on Mathematical Foundations of Computer Science, Brno, 2010)
• Knowledge and Cooperation in Infinite Games (LINT midterm meeting, Paris, 2010)
• Winning Strategies in Two-Player Games with Partial Information (LINT Workshop, Amsterdam, 2008)

Lehre

• Sommersemester 2011

  • Seminar zu Algorithmischen Aspekten von Paritätsspielen

• Wintersemester 2010/2011

  • Seminar zu Bewachten Logiken

• Sommersemester 2010

  • Seminar zu Strukturkomplexität von Graphen und Graph Searching Games
  • Übungen zur Vorlesung Mathematische Logik

• Wintersemester 2009/2010

  • Seminar zu Modernen Lösungskonzepten in der Spieltheorie
  • Übungen zur Vorlesung Komplexitätstheorie und Quanten Computing

• Sommersemester 2009

  • Seminar über Fixpunktlogiken

• Wintersemester 2008/2009

  • Seminar über Logik und (Un)Abhängigkeit
  • Übungen zur Vorlesung Mathematische Logik II

Sprechstunde

Nach Vereinbarung