Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Phone:	+49-241-80-21727
Fax:	+49-241-80-22215
Room:	4114a (E1) / Ahornstr. 55
Email:	pago [AT] logic.rwth-aachen.de

Office Hours

Whenever the door is open.

Research

• Descriptive Complexity Theory
• Logics for Logspace
• Choiceless Polynomial Time

Recent Publications

• E. Grädel, M. Grohe, B. Pago, and W. Pakusa. A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science, vol. Volume 15, Issue 1, 2019.
• E. Grädel, B. Pago, and W. Pakusa. The Model-Theoretic Expressiveness of Propositional Proof Systems. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.

All publications