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

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
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: 21.05.25 Print

Contact us
Contact