Benedikt Pago
Address
Mathematische Grundlagen der InformatikRWTH 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.