Bernd Puchala

Address

Office Hours

By appointment

Research

I am working within the ESF research project Logic for Interaction (LINT).

My research interests include:

• logic, especially (dynamic) epistemic logic and other logics for describing interaction,
• knowledge and partial information in multiagent systems, especially games,
• applications of graph theory in computer science, especially graph complexity measures,
• automata theory, especially automata on infinite objects.

Teaching

• Summer Term 2009

  • Seminar on Fixed-Point Logics
  • Exercises for the course Mathematical Logic

• Winter Term 2008/2009

  • Seminar on Logic and (In)Dependence
  • Exercises for the course Mathematical Logic II

Selected Talks

• Talk at LINT Workshop, Amsterdam, 2008

Diploma Thesis

• Infinite Two-Player Games with Partial Information: Logic and Algorithms
• Talk at Research Seminar Logic and Automata, RWTH Aachen University, 2008