Algorithms, Logic, and Computation

Professor in charge: Petteri Kaski
Extent: Long (55-65 credits) or compact (40-45 credits) major as CS track. Students taking a compact major take also a minor (20-25 credits). Students taking a long major may include an optional minor in their elective studies.
Abbreviation: Algorithms

Objectives

The track on Algorithms, Logic, and Computation provides the students with a strong theoretical background that covers fundamental conceptual tools for the modelling, design, and analysis of advanced computing systems. Our students will receive a solid and versatile methodological education in preparation for a career as an expert in exploiting and advancing new computing technologies. The studies are organised by the Department of Computer Science (cs.aalto.fi) and strongly built on the themes of the research area of Algorithms, Logic, and Computation. The teaching and instruction of the students is conducted by the leading experts in this research area. Excellent students interested in pursuing doctoral studies after their M.Sc. degree can transfer to the Helsinki Doctoral Education Network in Information and Communications Technology (www.hict.fi).

 

Learning Outcomes

 

  • Students can design, analyse, and implement novel, efficient algorithms for a wide range of computational problems and models of computing.
  • Students can formalise computational problems, classify them according to their computational complexity, and use such classifications as a guidance in choosing the right methodology for tackling hard problems.
  • Students master fundamental techniques in computational logic and are able to solve computational problems using state-of-the-art algorithms and tools for automated reasoning.
  • Students can model and specify complex systems in a rigorous way, and use computational techniques to verify and synthesise such systems.

 

Content and Structure

Students have to select at least five courses from the major core course list, including the track compulsory core course. The core courses can also be done as part of Bachelor studies. If any of these courses have been taken as part of the Bachelor studies, they can be substituted with any optional courses of the track.

In addition to major core courses, the students have to take the track compulsory courses. They can also include courses from the optional courses list of the track. Also other optional courses can be included per agreement with a professor in charge of the track.

Major core courses, compulsory major core course bolded (min 25 credits)

CODE NAME CREDITS PERIOD/YEAR
CS-E3190 Principles of Algorithmic Techniques 5 I-II/1st year
CS-E3200 Discrete Models and Search 5 III-IV/1st year

CS-C3170

Web Software Development

5

II-III/1st year

CS-C3130

Information Security

5

I/1st year

CS-C3140

Operating Systems

5

I/1st year

CS-C3100

Computer Graphics

5

I-II/1st year

CS-E3210

Machine Learning: Basic Principles

5

I/1st year

ELEC-E7851

Computational User Interface Design

5

II/1st year

Track compulsory courses (select at least three, 15 credits)

CODE NAME CREDITS PERIOD/YEAR

CS-E4500

Advanced Course in Algorithms

5

III-IV

CS-E4510

Distributed Algorithms

5

I-II

CS-E4520

Computer-Aided Verification and Synthesis

5

III-IV

CS-E4530

Computational Complexity Theory

5

III-IV

CS-E4540

Answer Set Programming

5

I-II

 Track optional courses

CODE NAME CREDITS PERIOD/YEAR

CS-E4550

Advanced Combinatorics in Computer Science

5

I-II

CS-E4560

Parallel and Distributed Systems

5

I-II

CS-E4570

Advanced Course in Boolean Satisfiability

5

V

CS-E4320

Cryptography and Data Security

5

I-II

CS-E4600

Algorithmic Methods of Data Mining

5

I-II

CS-E4580

Programming Parallel Computers

5

V

CS-E4800

Artificial Intelligence

5

III-IV

MS-C1080

Introduction to Abstract Algebra

5

III

MS-E1051

Combinatorics

5

I

MS-E1110

Number Theory

5

II

CS-E4590

Competitive Programming

2-5

I-II

Also other optional courses can be included per agreement with a professor in charge of the track.

Login Form

Powered by jms multisite for joomla