VCLA is managed by a Board in collaboration with an international Advisory Board. Please direct any inquiries to the PR manager, Mihaela Rozman.

Board Members

The board is responsible for day-to-day management.

Thomas Eiter Georg Gottlob
Alexander Leitsch Reinhard Pichler
Stefan Szeider (co-chair) Helmut Veith (co-chair)

Advisory Board

The board is consulting with the advisory board about strategic decisions.

Matthias Baaz (TU Vienna) Roderick Bloem (TU Graz)
Agata Ciabattoni (TU Wien) Nadia Creignou (Université d’Aix-Marseille)
Anuj Dawar (Univ. of Cambridge) Fedor Fomin (Univ. of Bergen)
Laura Kovács (TU Vienna) Miroslaw Truszczyński (Univ. of Kentucky)
Moshe Y. Vardi (Rice Univ.)

Logic and Algorithms Groups

The Center is hosted by five research groups at the Faculty of Informatics:

AClogoshortLogo Logic & TheoryDatabase and Artificial Intelligence Group

Formal Methods in Systems Engineering GroupKnowledge-Based Systems Group

Together, the five groups are occupying the recently renovated third floor of TU Vienna’s computer science building at Favoritenstrasse 9, 1040 Vienna.

International recognition of their work is reflected by a Wittgenstein Award, two START Prizes, the ERC Starting Grant COMPLEX REASON, the ERC Advanced Grant DIADEM, the National Research Network RiSE, numerous grants by the Austrian and the Vienna Science Fund, two memberships in the Austrian Academy of Sciences as well as TU Vienna’s graduate programs in this area.


We frequently work together with our friends at: