TU Vienna has a strong international reputation in various fields targeted in the programme and aims at positioning the Doctoral Programme at a high level of excellence within the international community. These fields include:
- Logic in Databases
- Computer Aided Verification
- Constraint Satisfaction and Satisfiability
- Knowledge Representation and Reasoning
- Finite Model Theory
- Quantum Information and Recursion Theory
- Proof Theory and Automated Deduction
- Many Valued and Fuzzy Logic
- Complexity Theory
- Set Theory
The programme is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics. Interdisciplinary theses that require consolidated knowledge from different areas (Mathematics, Logic, Computer Science and Physics) are preferred.
The programme fosters the application of Mathematical Logic to Computer Science; two envisaged key application areas are:
- Model-Based Design and Verification
- Advanced Information Systems
