Studyportals

Computer Science - Algorithms, Languages and Logic

Chalmers University of Technology

M.Sc.
24 months
Duration
12833 EUR/year
Free
Unknown
Tuition fee
Passed
Unknown
Apply date
Unknown
Start date

About

This Computer Science - Algorithms, Languages and Logic from Chalmers University of Technology offers a comprehensive foundation in the science of programming. It gives the student a strong basis for developing the computer applications of today and tomorrow and for conducting innovative research and promoting development.

Overview

Computer systems are becoming increasingly powerful and intelligent, and they rely on increasingly sophisticated techniques. To master the complexity of these systems, it is essential to understand the core areas of computer science.

The core of the Computer Science - Algorithms, Languages and Logic from Chalmers University of Technology covers four main areas of computing science

  • Algorithms including artificial intelligence, machine learning and optimisation
  • Logic including applications in hardware and software verification
  • Programming languages with underlying principles, implementation techniques and advanced programming techniques.
  • Computer security including cryptography and programming language-based approaches to security.

The optional segment of the programme offers the student a broad range of courses in other areas of computer science, bioinformatics, software engineering, mathematics and other relevant areas.

Research

Chalmers pursues vigorous and internationally recognised research in all core areas of the programme.

Amongst other things, Chalmers is well-known for its research into functional programming. IT played a major role in the design and development of the standard lazy functional language Haskell. It has also developed a powerful testing tool called QuickCheck, which now has widespread use – in industry as well.

The ProSec group is finally applying methods from programming language theory to problems in security. The programming logic group is an international leader in its field with pioneering work in type theory and computer-assisted theorem proving. Members of the programming logic group also collaborate with linguists in the field of natural language processing. The algorithms group works on the design and analysis of algorithms and their applications in bioinformatics and networks in a broad sense.

One area under constant development is optimisation, where group members have developed prize-winning tools for aircraft crew scheduling. The tools have been commercialised by a local company called Jeppesen (formerly Carmen Systems), a world leader in this field. The formal methods group has explored automatic theorem proving techniques and applied them in cooperation with industry.

Programme Structure

Courses include:

  • Algorithms
  • Logic in computer science
  • Programming language technology
  • The computer scientist in society

Key information

Duration

  • Full-time
    • 24 months

Start dates & application deadlines

Language

English

Credits

120 alternative credits

Delivered

On Campus

English requirements

TOEFL admission requirements TOEFL® IBT The TOEFL iBT® is given online through the internet at designated testing site. The test measures your English-language abilities in an academic setting. The score refers to the total score of 4 subjects (writing, listening, speaking, and reading), each subject has a range of 0 - 30.
90
IELTS admission requirements IELTS The International English Language Test System (IELTS) tests your English-language proficiency on a scale of 1 – 9. The score refers to the combined average score of 4 subjects (writing, listening, speaking, and reading).
6.5

Other requirements

General requirements

  • Bachelor’s degree with a major in: Computer Engineering, Computer Science, Automation and Mechatronics, Electrical Engineering, Engineering Physics, Mathematics, Software Engineering or related subjects
  • Prerequisites: Mathematics (including Calculus (at least 7,5 cr.) and Linear Algebra (at least 7,5 cr.)),
  • Programming in a General-Purpose Language (e.g. C/C++/Java/Haskell or similar (at least 7,5 cr.)), Algorithms and/or Data Structures (at least 7,5 cr.)
  • and one of the following courses: Discrete Mathematics and/or Mathematical Statistics and/or Probability Theory.
  • Preferable course experience: Finite Automata Theory and Formal Languages, Mathematical Modelling and Problem Solving, Functional Programming

Tuition Fee

  • International

    12833 EUR/year
    Tuition Fee
    Based on the original amount of 12833 EUR per year and a duration of 24 months.
  • EU/EEA

    Free
    Tuition Fee
    Based on the original amount of 0 EUR per year and a duration of 24 months.
  • 140 000 SEK/academic year
  • EU/EEA citizens are not required to pay fees.

Funding

Scholarships are a great source of funding for Master's students who are liable to pay tuition fees. Chalmers University of Technology offers numerous scholarship opportunities. Some of these are administered by the university itself and others by external institutions.

Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

Our partners

Computer Science - Algorithms, Languages and Logic
-
Chalmers University of Technology

Wishlist