Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Office Hours

By appointment

Research

• Choiceless polynomial time
• Extensions of Fixed Point Logics
• Descriptive Complexity Theory

Teaching

• Summer Term 2013
• Mathematical Logic
• Logic and Games
• Winter Term 2012
• Seminar Logic, Complexity, Games: Finite Model Theory
• Summer Term 2012
• Mathematical Logic
• Winter Term 2011
• Exercise class Algorithmic Model Theory
• Seminar Logic, Complexity, Games: Automatic Structures
• Summer Term 2011
• Logic and Games

Talks

• Slides for the talk at GAMES, Paris 2011
• Slides for the talk at AlMoTh, Ilmenau 2012

Recent Publications

• A. Dawar, E. Grädel, B. Holm, E. Kopczynski, and W. Pakusa. Definability of linear equation systems over groups and rings. In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL (P. Cégielski and A. Durand, Eds.), vol. 16 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 213–227, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2012.
• W. Pakusa. Finite Model Theory with Operators from Linear Algebra. Staatsexamensarbeit, RWTH-Aachen University, 2010.

All publications