Leibniz Universität Hannover Faculty Faculty of Electrical Engineering and Computer Science
Deutsch Contact Deutsch
Theoretical Computer Science
 
Institute of Theoretical Computer Science Teaching
Master’s Degree Courses
Computability and Logic Cryptography Parameterized Complexity Theory
Efficient Algorithms Logic and Complexity
Formal Languages Quantum Computing
Complexity Theory Theory of Boolean Circuits

Master’s Degree Courses

We offer the following advanced lectures and seminars in the field of Theoretical Computer Science. Current schedules can be found in the HIS-LSF system.

Course Type Frequency Lecturer
Complexity Theory Lecture Every two years (odd) in WS Vollmer
Computability and Logic Lecture Every two years (odd) in SS Vollmer
Cryptography Lecture Every two years (even) in WS Meier
Efficient Algorithms Lecture Every two years (odd) in WS Meier
Formal Languages Lecture Every two years (odd) in SS Meier
Logic and Complexity Lecture Every two years (even) in SS Meier
Parameterized Complexity Theory Lecture Every two years (even) in WS Vollmer
Quantum Computing Lecture once in WS25/26 Egly
Theory of Boolean Circuits Lecture Every two years (even) in SS Vollmer

Course registration and materials

Further information on these courses can be found in the online course catalog and in Stud.IP.

Online Course Catalog
HIS-LSF
Materials for Courses
Stud.IP
in QIS
Registration for exams
Schedule for Oral Examinations
THI-Termin­verwaltung

Last Change: 16.06.25 Print

Contact us
Contact