If you are interested in working with us on a project or BSc/MSc thesis or as a PhD student, please take a look at previously supervised projects and theses as linked here

The following is a list of courses that are being offered in our specialization.

Lecture-based courses offered in this specialization

• Advanced Automata Theory [Summer Semester]
• Automated Reasoning [Summer Semester]
• Concurrency Theory (rebrand to Algorithms for Verifying Infinite-State Systems)[Winter Semester]
• Complexity Theory
• Game-Theoretic Techniques in Logic and Verification [Winter Semester]
• Program Analysis
• Quantum Computing and its Applications in AI [Summer Semester]
• Verification with Coq [Summer Semester, every second year]
• Machine Learning I: Foundations [Summer Semester]
• Machine Learning II: Statistical Machine Learning [Winter Semester]
• Probabilistic graphical models [Summer Semester]

Seminar-based courses offered in this specialization

• Logic and Verification seminar [Summer/Winter Semester]
• Algorithms and deduction seminar [Summer/Winter Semester]
• Weak memory consistency seminar
• Research Topics in Program Synthesis and Reliability seminar
• Seminar on Software Technology [Summer/Winter Semester]
• Seminar: Advanced Topics in Machine Learning [Summer/Winter Semester]

Project-based courses:

• Algorithms and deduction project [Summer/Winter Semester]
• Applied Verification
• Programming correctly and efficiently under weak memory consistency
• Projects in Software Technology [Summer/Winter Semester]