Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21711
Fax:	+49-241-80-22215
Büro:	2U02 (E1) / Ahornstr. 55
E-Mail:	pakusa [AT] logic.rwth-aachen.de

Sprechstunden

Nach Vereinbarung

Forschung

• Choiceless polynomial time
• Erweiterungen von Fixpunktlogiken
• Deskriptive Komplexitätstheorie

Lehre

• Sommersemester 2013
• Mathematische Logik
• Logik und Spiele
• Wintersemester 2012
• Seminar Logik, Komplexität, Spiele: Endliche Modelltheorie
• Sommersemester 2012
• Mathematische Logik
• Wintersemester 2011
• Übungen zur Vorlesung Algorithmische Modelltheorie
• Seminar Logik, Komplexität, Spiele: Automatische Strukturen
• Sommersemester 2011
• Logik und Spiele

Vorträge

• Folien zum Vortrag bei GAMES, Paris 2011
• Folien zum Vortrag bei AlMoTh, Ilmenau 2012

Aktuelle Publikationen

• 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.

Alle Publikationen