Benedikt Pago

Benedikt Pago

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21726
Fax:   +49-241-80-22215
Büro:   4114a (E1) / Ahornstr. 55
E-Mail:   pago [AT] logic.rwth-aachen.de

Sprechstunden

Wenn die Tür offen ist.

Forschung

  • Descriptive Complexity Theory
  • Proof Complexity
  • Choiceless Polynomial Time

Preise und Auszeichnungen

  • Lehrpreis der Fachgruppe Informatik für die Veranstaltung "Mathematische Logik" 2019
  • Lehre

    Selected talks

    Aktuelle Publikationen

    Alle Publikationen