© Tiss: Stefan Woltran

Univ.Prof. Dipl.-Ing. Dr.techn. Stefan Woltran, opens an external URL in a new window was confirmed permanently as University Professor of Formal Foundations of Artificial Intelligence at TU Wien with effect from April 1, 2020. He is assigned to the Institute of Logic and Computation, opens an external URL in a new window (E192) in the Faculty of Informatics, opens an external URL in a new window.

CV: Stefan Woltran studied Informatics at TU Wien, where he was awarded his doctorate (with distinction) in 2003 for his thesis on "Quantified boolean formulas – From theory to practice, opens an external URL in a new window". In 2009, he obtained his Venia Docendi, thus qualifying him to teach in the field of Information Systems with his habilitation on "Contributions to advanced equivalence checking in answer set programming", opens an external URL in a new window. In 2013, he received the FWF's START Award, opens an external URL in a new window for the topic of "Decomposition and dynamic programming for complex calculation problems". After spending some time abroad at the University of Leipzig, he was appointed Associate Professor of Formal Foundations of Artificial Intelligence at TU Wien in 2015. Since February 2015 he was holding a temporary professorship for Formal Foundations of Artificial Intelligence, which has since become tenured. Since 2024, he has also headed the doctoral college Innovative Combinations and Applications of AI and ML (iCAIML), opens an external URL in a new window (E056-23). In addition, he is actively involved in both the “LogiCS Doctoral College, opens an external URL in a new window” and the “Digital Humanism Doctoral College, opens an external URL in a new window”.

Special roles at TU Wien: Stefan Woltran has served as Vice Dean of Academic Affairs, opens an external URL in a new window of the Faculty of Informatics since 2020.

He is currently Head of the Research Unit for Databases and Artificial Intelligence (AI), opens an external URL in a new window (E192-02) and since 2004 also Head of the Service Unit of Innovative Combinations and Applications of AI and ML (iCAIML) (E056-23). His academic work focuses in particular on fundamental research in the field of artificial intelligence, the analysis of formal properties of various logic-based approaches, complexity analysis and the development of algorithms (particularly using logic and dynamic programming).

Publications by Stefan Woltran in the Scopus, opens an external URL in a new window database and in ReposiTUm, opens an external URL in a new window.