Wied Pakusa

Wied Pakusa

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21722
Fax:   +49-241-80-22215
Room:   4108a (E1) / Ahornstr. 55
Email:   pakusa [AT] logic.rwth-aachen.de

Office Hours

By appointment

Research

  • Logic for Polynomial Time
  • Extensions of Fixed Point Logics
  • Infinite Games
  • Algorithmic Model Theory
  • Descriptive Complexity Theory

Dissertation

Linear Equation Systems and the Search for a Logical Characterisation of Polynomial Time (Download (PDF))

Lehre

Selected talks

Recent Publications

All publications