Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Office Hours

By appointment

Research

• Extensions of Fixed Point Logics
• Descriptive Complexity Theory

Teaching

• Summer Term 2011
• Logic and Games

Recent Publications

• W. Pakusa. Finite Model Theory with Operators from Linear Algebra. Staatsexamensarbeit, RWTH-Aachen, 2010.

All publications