Courses

We are offering courses in Algorithms and Data Structures, Optimization, Metaheuristics, Constrained Optimization, Graph algorithms, and Algorithmic Geometry.

Project and Thesis Topics

Note: Due to major adaptions of curricula with the the start of WS25/26, several of our former courses have been restructured/merged/renamed, have now different ECTS/hours, and got new numbers!

Courses Offered in the 2026S Term

Number	Type	Title	Hours	Credits	Semester
192.149	VU	Advanced Research in Algorithmics	4.0	6.0	2026S
186.866	VU	Algorithms and Data Structures	5.5	8.0	2026S
192.118	VU	Algorithmic Social Choice	4.0	6.0	2026S
192.026	VU	Efficient Algorithms	4.0	6.0	2026S
192.157	VU	Algorithms in Graph Theory	4.0	6.0	2026S
192.155	VU	Graph Drawing Algorithms	4.0	6.0	2026S
184.766	VU	Introduction to Logical Methods in Computer Science	2.0	3.0	2026S
192.200	VU	Mathematical Programming and Optimization in Transport Logistics	4.0	6.0	2026S
186.819	PR	Bachelor Thesis in Computer Science	5.0	10.0	2026S
180.767	SE	Orientation Bachelor with Honors of Informatics and Business Informatics	1.0	1.5	2026S
192.021	PR	Project in Computer Science 1	4.0	6.0	2026S
192.022	PR	Project in Computer Science 2	4.0	6.0	2026S
193.052	SE	Scientific Research and Writing	2.0	3.0	2026S
184.767	SE	Research Seminar LogiCS	2.0	3.0	2026S
186.199	SE	Seminar for PhD candidates	2.0	3.0	2026S
192.119	SE	Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory	2.0	3.0	2026S
192.201	SE	Seminar in Theoretical Computer Science - Algorithms	2.0	3.0	2026S

Courses Offered in the Former 2025W Term

Number	Type	Title	Hours	Credits	Semester
192.160	VU	Algorithmic Encoding Techniques	4.0	6.0	2025W
192.154	VU	Algorithmic Geometry	4.0	6.0	2025W
186.814	VU	Algorithmics	4.0	6.0	2025W
186.819	PR	Bachelor Thesis in Computer Science	5.0	10.0	2025W
192.163	VU	Beyond Exact Algorithms	4.0	6.0	2025W
192.153	VU	Fixed-Parameter Algorithms and Complexity	4.0	6.0	2025W
192.162	VU	Heuristic Optimization Techniques	4.0	6.0	2025W
184.766	VU	Introduction to Logical Methods in Computer Science	2.0	3.0	2025W
192.042	VU	Introduction to Quantum Computing, Complexity Theory, and Algorithmics	2.0	3.0	2025W
192.021	PR	Project in Computer Science 1	4.0	6.0	2025W
192.022	PR	Project in Computer Science 2	4.0	6.0	2025W
180.771	VU	Propädeutikum für Informatik	2.0	3.0	2025W
192.043	VU	Quantum Computing, Complexity Theory, and Algorithmics	4.0	6.0	2025W
184.767	SE	Research seminar LogiCS	2.0	3.0	2025W
186.842	SE	Research seminar for PhD candidates	2.0	3.0	2025W
186.199	SE	Seminar for PhD candidates	2.0	3.0	2025W
192.180	SE	Seminar in Theoretical Computer Science - Graph Algorithms and Computational Geometry	2.0	3.0	2025W
192.159	VU	Structural Decompositions and Meta-Theorems	4.0	6.0	2025W
193.052	SE	Wissenschaftliches Arbeiten	2.0	3.0	2025W
187.B12	VU	Ways of thinking in informatics	4.0	5.5	2025W

Graduate Studies

Our group is involved in lectures and organization of the following programs:

Master Programs

Master Program in Logic and Computation (English language Master program)
Erasmus Mundus European Master Program in Computational Logic (English language Master program with EU scholarships in collaboration with Dresden, Bolzano, Lisbon)

PhD Programs

Doctoral Program Logical Methods in Computer Science
Vienna Graduate School on Computational Optimization
Vienna PhD School of Informatics (yearly applications for 10-20 scholarships)
Doctoral program in Computer Science (funding usually provided by advisor’s grants; please inquire with potential advisors)