On June 14, 2021 three Alumni of the TU Wien Informatics Institute of Logic and Computation were awarded the Promotio Sub Auspiciis Praesidentis Rei Publica.

The “Doctoral graduation under the auspices of the Federal President” – ceremony in which the Mayor of Vienna Dr. Michael Ludwig awarded the Ring of Honor to the awardees on behalf of Austrian President Dr. Alexander Van der Bellen, took place with over a year’s delay due to the Covid pandemic.

Each year, only a handful of doctoral students from Austria receive this special award, which requires excellent grades throughout secondary school, undergraduate and graduate studies.

The Sub auspiciis Graduates

DI Gerald Berger BSc
Dissertation Topic: Static Analysis for Ontology-Mediated Querying
Supervisor: O.Univ.Prof. Dipl.-Ing. Dr. Georg Gottlob

Mgr Tomas Peitl Bc
Dissertation Topic: Quantified Boolean formulas (QBF), AI, Automated theorem proving, Computational Complexity Theory
Supervisor: Univ.Prof. Mag.rer.nat. Dr.rer.nat. Stefan Szeider

DI Martin Riedler BSc
Dissertation Topic: Advances in Decomposition Approaches for Mixed Integer Linear Programming
Supervisor: Ao. Univ. Prof. Dipl.-Ing. Dr. Günther Raidl

The awardees of the “Sub Auspiciis Promotion” at TU Wien Kuppelsaal