Bernd Puchala

Bernd Puchala

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21711
Fax:   +49-241-80-22215
Email:   puchala [AT] logic.rwth-aachen.de

Research

My research interests are centered around decidability and complexity of interaction under partial information. The main aspect is synthesizing winning strategies in games with imperfect information, especially infinite games played on finite graphs. This is closely related to automata theory, especially automata on infinite objects and to graph theory, especially graph complexity measures. Moreover, logics for describing certain aspects of interaction under partial information, like epistemic logics and dependence logics, play an important role.

I am not a formal member of a research group anymore but I'm still interested in scientific topics. If you have any questions or suggestions in connection with my scientific work or my other activities you can contact me at the email address given above.

From November 2011 until April 2013 I have been working within the DFG research project Partielle Information in Logik und Spielen (partial information in logic and games).

From October 2008 until September 2011 I have been working within the ESF EUROCORES research project LogICCC, Collaborative Research Project Logic for Interaction (LINT).

PhD-Thesis

Synthesis of Winning Strategies for Interaction under Partial Information

Please send questions about and flaws in my PhD-Thesis to the email address given above.

Recent Publications

All publications

Selected Talks

Selected Teaching Activities

Further Activities

  • 2010 -- 2012 Supervisor at the Computer Science Girls' Day of the RWTH Aachen
  • 2010 -- 2012 Mentor within the Mentoring-Programme TANDEMschool of the RWTH Aachen