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:
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:
- Institute of Discrete Mathematics and Geometry at TU Vienna
- Kurt Gödel Society (KGS)
- Austrian Society for Rigorous Systems Engineering (ARiSE)
- Wolfgang Pauli Institute (WPI)
- Institute of Science and Technology Austria (IST Austria)
