About
Groups
Algorithms and Complexity
Databases and Artificial Intelligence
Formal Methods in Systems Engineering
Knowledge-Based Systems
Security and Privacy
Theory and Logic
PhD
Doctoral Program (FWF) Logical Methods in Computer Science
Doctoral Program MSCA Cofund LogiCS@TUWien
Master’s
Master in Logic and Computation
VCLA
Vienna Center for Logic and Algorithms
Talks/News
Partners
Faculty of Informatics
Cyberphysical Systems Group
Computer Languages Group
Computational Logic Group
Kurt Gödel Society
Logic in Austria
National Research Network RiSE
Contact
Search
Florian Zuleger
Assistant Professor at the Institute of Information Systems
Homepage
Publications
Günther Raidl
Armin Biere
Scroll to top