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.