Courses

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

Project and Thesis Topics

Students who are interested in a research project or thesis in our Bachelor and Master programs are welcome to contact us. Examples of topics for Projects, Bachelor and Master theses can be found here.

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 2026WS Term

Number	Type	Title	Hours	Credits	Semester
192.160	VU	Algorithmic Encoding Techniques	4.0	6.0	2026W
192.154	VU	Algorithmic Geometry (not taught in 2026WS, resumes in 2027WS)	4.0	6.0	2026W
186.814	VU	Algorithmics	4.0	6.0	2026W
186.819	PR	Bachelor Thesis in Computer Science	5.0	10.0	2026W
192.163	VU	Beyond Exact Algorithms	4.0	6.0	2026W
192.153	VU	Fixed-Parameter Algorithms and Complexity	4.0	6.0	2026W
192.162	VU	Heuristic Optimization Techniques	4.0	6.0	2026W
184.766	VU	Introduction to Logical Methods in Computer Science	2.0	3.0	2026W
192.021	PR	Project in Computer Science 1	4.0	6.0	2026W
192.022	PR	Project in Computer Science 2	4.0	6.0	2026W
180.771	VU	Propädeutikum für Informatik	2.0	3.0	2026W
192.043	VU	Quantum Computing, Complexity Theory, and Algorithmics	6.0	10.0	2026W
184.767	SE	Research seminar LogiCS	2.0	3.0	2026W
186.842	SE	Research seminar for PhD candidates	2.0	3.0	2026W
186.199	SE	Seminar for PhD candidates	2.0	3.0	2026W
192.180	SE	Seminar in Theoretical Computer Science - Graph Algorithms and Computational Geometry	2.0	3.0	2026W
192.219	VU	Supplementary Course Algorithms and Data Structures	4.0	6.0	2026W
193.052	SE	Wissenschaftliches Arbeiten	2.0	3.0	2026W
187.B12	VU	Ways of Thinking in Informatics	4.0	5.5	2026W

Courses Offered in the former 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

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)