Organization

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

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 Vienna) 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 four research groups at the Faculty of Informatics:

Database and Artificial Intelligence GroupKnowledge-Based Systems GroupFormal Methods in Systems Engineering GroupLogo Logic & Theory

Together, the four 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,  a START Prize, 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.

Collaborations

We frequently work together with our friends at: