Current research projects:

Current conference activities:

Program committee member of CSL 2017, WOLLIC 2017, Manyval 2017, Tableaux 2017, the 19th International Congress of the Austrian Mathematical Society 2017 (co-chair of the section Algebra, Logic and Set Theory), TACL 2017, ICLA 2017, ALCOP 2016 (Chair), IJCAR 2016, LATD 2016, SYSMICS 2016, ESCIM 2016.

Opening of the Vienna Summer of Logic (Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob) Logic -- the most important science on earth (Cover story of "Profil ", June 2014) Austria's news weekly "Profil ", December 2015