Master
English
Computer Science
Computer Science – Logic and Computation Track
Master of Science (M.Sc.)
About the Program
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. The double degree track is an integrated degree programme as an optional part of the master's degree programme in Computer Science. 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. After completion of the first semester's study plan at LUH, students continue their studies at TU Wien, spending either their second and third or their third and fourth semester at the partner institution. Students must attain a minimum of 50 ECTS at the host institution.
▶ Show the original English text
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. The double degree track is an integrated degree programme as an optional part of the master's degree programme in Computer Science. 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. After completion of the first semester's study plan at LUH, students continue their studies at TU Wien, spending either their second and third or their third and fourth semester at the partner institution. Students must attain a minimum of 50 ECTS at the host institution.
Which Professions Does This Program Open Up?
Related profession searches from Bundesagentur für Arbeit (BERUFENET) data:
Explore all professions →Subjects / Topic Areas
Computer Science
Similar Programs
Agrobioinformatics
Justus-Liebig-Universität Gießen
Master of Science (M.Sc.)
Gebäudeautomation, M.Eng.
Hochschule Biberach
Master of Engineering (M.Eng.)
Computational Methods and Machine Learning in Engineering
Technische Universität Hamburg
Master of Science (M.Sc.)
Digital Innovation and Transformation
Universität Kassel
Master of Science (M.Sc.)
Business Administration and Information Systems
Universität Passau
Master of Science (M.Sc.)
Business Informatics
Universität des Saarlandes
Master of Science (M.Sc.)
How do I apply to Computer Science – Logic and Computation Track at Leibniz Universität Hannover?
Most international applicants apply via uni-assist (document verification + APS for some countries). Prepare your secondary/Bachelor diploma, transcripts, language certificate (DSH/TestDaF or IELTS/TOEFL), motivation letter and CV. Non-EU students also need a Sperrkonto (~11,904 EUR/year) for the visa.
- Check requirements — Verify your degree is recognised + meet language/grade thresholds.
- Get language certificate — TestDaF / DSH for German programmes, IELTS / TOEFL for English.
- Submit via uni-assist (non-EU) — Document review + APS if your country requires it (China, India, Pakistan, Vietnam, etc.).
- Apply directly or via uni portal — Some universities accept direct applications — check the official programme page.
- Open Sperrkonto + apply for visa — After admission, deposit 11,904 EUR, get health insurance, book embassy appointment.
Frequently Asked Questions
Quick answers about Computer Science – Logic and Computation Track at Leibniz Universität Hannover
Is Computer Science – Logic and Computation Track at Leibniz Universität Hannover taught in German or English? ▼
This Master programme is taught in English. Make sure to check the language requirements (e.g. TestDaF, DSH, IELTS or TOEFL) before applying.
How much does the Computer Science – Logic and Computation Track programme cost? ▼
No tuition fee (only semester contribution). International students should also budget around 800–1000 EUR/month for living costs in Germany.
What are the admission requirements for Computer Science – Logic and Computation Track at Leibniz Universität Hannover? ▼
Typical requirements include: a recognised secondary/undergraduate degree, proof of language proficiency (English), and (for non-EU applicants) a uni-assist application plus financial proof (Sperrkonto ~11.904 EUR/year).
When is the application deadline? ▼
Application deadlines vary: winter semester usually closes on 15 July, summer semester on 15 January. Always confirm the exact deadline on the official university website.
Can I work in Germany while studying Computer Science – Logic and Computation Track? ▼
Yes. International students may work up to 140 full days / 280 half days per year without additional permission. After graduation you can apply for an 18-month job-seeker permit.
How do I apply to Leibniz Universität Hannover — directly or via uni-assist? ▼
Most German universities accept international applications through uni-assist for document verification. Some unis accept direct applications — check the programme page on the official site.