Bernd Puchala

Adresse

Sprechstunde

Nach Vereinbarung

Forschung

Ich bin tätig innerhalb des ESF Forschungsprojektes Logic for Interaction (LINT).

Meine Forschungsinteressen liegen unter anderem in folgenden Bereichen:

• Logik, insbesondere (dynamische) epistemische Logiken und weitere Logiken zur Beschreibung von Interaktion,
• Wissen und partielle Information in Multiagent Systems, insbesondere Spielen,
• Anwendungen der Graphentheorie in der Informatik, insbesondere Graph-Komplexitätsmaße,
• Automatentheorie, insbesondere Automaten auf unendlichen Objekten.

Lehre

• Sommersemester 2009

  • Seminar über Fixpunktlogiken
  • Übungen zur Vorlesungen Mathematische Logik

• Wintersemester 2008/2009

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

Ausgewählte Vorträge

• Vortrag im Rahmen des LINT Workshop, Amsterdam, 2008

Diplomarbeit

• Infinite Two-Player Games with Partial Information: Logic and Algorithms
• Vortrag in der Arbeitsgemeinschaft Logik und Automaten, RWTH Aachen University, 2008