Leibniz University Hannover Studies Degree Programmes General Overview
Computer Science - Logic and Computation Track

Computer Science - Logic and Computation Track
(Double Degree, Master of Science)

Profile

Course type
Postgraduate studies (Master)
Standard Course Duration
4 semesters
Part-time option

Part-time study is optional.

Course Start
Summer semester, Winter semester
Language of Instruction
English
Language Requirements

English C1
Find out more

Special Requirements
Admission
Restricted admission
International

One-year Stay abroad is obligatory.

Short Description

Students on the master’s degree programme in Computer Science can choose to concentrate on theoretical computer science and the foundations of artificial intelligence as part of the double degree track. The programme is offered in cooperation with TU Wien.
In the study track, students explore both practical and theoretical aspects of current computing methods and technologies. In Hannover, students focus on theoretical computer science, artificial intelligence, machine learning, large language models and data science.
At the partner university in Vienna, students focus not only on algorithm analysis and machine learning, but also on optimisation and inference methods for knowledge processing, answer set programming and truth maintenance systems.

Course Content

  • A one-year period abroad
  • Students earn two master’s degrees
  • Theoretical computer science and foundations of artificial intelligence
  • Machine learning
  • Large language models
  • Data science
  • Knowledge processing
  • Answer set programming
  • Truth maintenance systems
Course Structure

The double degree track is an integrated degree programme as an optional part of the master’s degree programme in Computer Science. It offers students at Leibniz University the opportunity to specialise in the areas of theoretical computer science and the foundations of artificial intelligence. On successful completion of the programme, students receive two (separate) degree certificates; a “Diplomingenieur/in” (Dipl.-Ing.) degree in “Logic and Computation” from TU Wien and a Master of Science (M. Sc.) degree in “Computer Science” from Leibniz University Hannover.

Students begin their studies on the master’s degree programme in Computer Science in Hannover. After completing the first semester, students continue their studies at the partner university TU Wien. Participants spend their second and third semesters or their third and fourth semesters at the partner university. In the second case, the master’s thesis is also completed at TU Wien.

What makes the double degree track so special is the flexibility for students to choose modules according to their personal interests, a range of course formats and practical classes, as well as a one-year period abroad.

Download Course content overview 

Recommended Abilities
  • In-depth knowledge of the foundations of computer science (especially in the areas: foundations of theoretical computer science, programming, data structures and algorithms, analysis, linear algebra, stochastics, discrete mathematics and mathematical logic)
  • English language skills are required
Career Opportunities
  • Graduates find employment in all areas of industry, the economy, administration and the service industry. Job opportunities are mainly available in companies working with the latest technologies in areas such as large language models, machine learning and data science. The key tasks involve developing application-oriented software, tools and relevant processes. The degree programme also prepares students for doctoral studies and a career in academia.
  • There are many areas of application open to computer scientists, offering a wide range of career opportunities and the chance to specialise according to individual interests.
Admission requirements and application

Admission Requirements

An undergraduate degree in a related field of study, such as

For master's degree programmes with restricted admission, places shall be allocated according to the university’s own selection procedure, if there are more applicants fulfilling the admission requirements than there are places available. The exact admission requirements can be found in the admission regulations: 

Application Deadlines

First-year students from Germany and the EU

  • June 1st – July 15th of the year for the winter semester
  • December 1st – January 15th of the year for the summer semester

First-year students from non-EU countries (VPD from uni-assist is required)

  • April 15th – May 31st of the year for the winter semester
  • October 15th – November 30th of the previous year for the summer semester

Students resuming their studies and transfer students from Germany and the EU (application in a higher semester)

  • June 1st – July 15th of the year for the winter semester
  • December 1st – January 15th of the year for the summer semester

Students resuming their studies and transfer students from non-EU countries (application in a higher semester)

  • April 15th – May 31st of the year for the winter semester
  • October 15th – November 30th of the previous year for the summer semester
     
Looking for exam information for this course?

Do you have questions about studying? We are happy to help!

Zentrale Studienberatung
Address
Welfengarten 1
30167 Hannover
Building
Zentrale Studienberatung
Address
Welfengarten 1
30167 Hannover
Building