About the Doctoral Programme
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
Faculty
The faculty of the programme consists of:| Name | Department | Homepage |
|---|---|---|
| Matthias BAAZ | Mathematics | Link |
| Agata CIABATTONI | Computer Science | Link |
| Thomas EITER (coordinator) | Computer Science | Link |
| Martin GOLDSTERN | Mathematics | Link |
| Alexander LEITSCH | Computer Science | Link |
| Reinhard PICHLER | Computer Science | Link |
| Karl SVOZIL | Physics | Link |
| Stefan SZEIDER | Computer Science | Link |
| Helmut VEITH | Computer Science | Link |
| Stefan WOLTRAN | Computer Science | Link |