Current research projects:

Current conference activities:

Program committee member of LATD 2018, CSL 2017, WOLLIC 2017, Manyval 2017, Tableaux 2017, OeMG-DVM 2017 (co-chair of the section Algebra, Logic and Set Theory), TACL 2017, ICLA 2017.

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