Logics with an attitude and automata on the loose are at the focus of my interest.
I have a penchant for problems arising in databases and for rewriting techniques.
My research has included problems in finite and algorithmic model theory and in automata theory pure.
Before joining the Automata Theory Group at Warsaw University,
I was part of the Information System Group at Oxford University Computing Laboratory
working with Georg Gottlob.
Prior to that I was a postdoc with Anca Muscholl
at LaBRI, Univ. Bordeaux 1.
I completed my PhD in Computer Science in 2007 at the
Mathematical Foundations of Computer Science group
at RWTH Aachen University under the guidance of Erich Grädel.
My undergraduate and graduate studies were undertaken at Eötvös Loránd University, Budapest,
and concluded at the Vrije Universiteit Amsterdam under the supervison of
Jan Willem Klop and Roel de Vrijer.
My thesis was full of meaningless terms.
In 2003 I briefly participated in
the C-CoRN project of the Foundations Group headed by Henk Barendregt at the Radboud University Nijmegen.
In a previous life I was a software developer at Siemens PSE in Budapest,
a craft I learned, among others, with these guys.
Guarded logics: finite models with forbidden configurations
invited talk at the Anglo-Belgian Workshop in Model Theory and Applications, Mons, 2009.
Cardinality Quantifiers in Monadic Second-Order Logic
Technical University of Darmstadt, February 2009.
Cardinality and counting quantifiers on omega-automatic structurespresented at STACS 2008, Bordeaux, February 2008.
MSO + cardinality quantifiers on countable trees and linear orders
at Dagstuhl Seminar 07441
"Algorithmic-Logical Theory of Infinite Structures", November 2007.
Regularity problems for visibly pushdown languages
co-authors: Christof Löding and Olivier Serre
in Proc. 23rd An. Symp. on Theor. Aspects of Comp. Sci., STACS'06,
B. Durand and W. Thomas (eds.), LNCS 3884, pp. 289-300, 2006.
