KTH / CSC / TCS / Education

Responsibility for educational programs

Members of the theory group are responsible for the Computer Science and Engineering MScE program (170 students admitted each year) and the Computer Science master program (100 students admitted each year).

Specialization blocks

Specialization blocks (spår) within master programs given by the Theory group.

Theoretical computer science in the Computer Science master program.
Program system technology in the Computer Science master program.
Computer security in the Computer Science master program.
Internet technology in the Computer Science master program.
Language technology in the Computer Science master program.
Discrete mathematics and theoretical computer science in the Mathematics master program.
Computer science and communication in the Industrial Economics and Management MScE program.

Courses

These are the courses given by the Theory group. You can find course descriptions by following the links.

Courses given 2011/2012

Advanced algorithms (Mikael Goldmann).
Advanced individual courses in computer science (Stefan Arnborg, Johan Håstad).
Algorithms, data structures and complexity (Viggo Kann).
Algorithms and complexity for F (Johan Karlander).
Applied computer science (Linda Kann).
Automata and languages (Dilian Gurov).
Compiler construction (Torbjörn Granlund).
Complexity theory (Johan Håstad).
Computer science 1, for SU (Serafim Dahl).
Computer science and numerical analysis, part 1, for E (Vahid Mosavat).
Computer security (Sonja Buchegger).
Current Research in Proof Complexity (Jakob Nordström).
Database technology (Serafim Dahl).
Database technology and information systems (Serafim Dahl).
Decision support systems (Johan Boye).
Foundations of cryptography (Douglas Wikström).
General cultural knowledge (Johan Karlander, Henrik Eriksson).
Introduction to computer science (Stefan Nilsson).
Introduction to the philosophy of science and research methodology for computer scientists (Johan Karlander).
IP routing on Internet and other complex networks (Olof Hagsand).
Java programming for Python programmers (Johan Boye).
Knowledge Discovery and Data Mining (Stefan Arnborg).
Language engineering (Johan Boye).
Logic for computer science (Dilian Gurov).
Machine-level programming and computer architecture (Stefan Nilsson).
Modern database systems and their application (Serafim Dahl).
Network security (Johan Karlander).
Parallel and distributed computing (Mads Dam).
Problem solving and programming under pressure (Mikael Goldmann).
Programme integrating course in computer science engineering (Viggo Kann).
Programming for interactive media (Linda Kann).
Programming technique (Linda Kann).
Programming technique and Matlab (Vahid Mosavat).
Protocols and principles of the Internet (Olof Hagsand).
Research: Theory, Method, Practice (Stefan Arnborg).
Routing on Internet and other packet switched networks (Olof Hagsand).
Statistical methods in applied computer science (Stefan Arnborg).
Software engineering (Karl Meinke).
Software reliability (Karl Meinke).
Software safety and security (Dilian Gurov).

Courses given 2010/2011

Advanced algorithms (Stefan Nilsson).
Advanced Individual Course in Computer Science (Stefan Arnborg).
Algorithms and complexity for F (Johan Karlander).
Compiler construction (Torbjörn Granlund).
Computer security (Sonja Buchegger).
Decision Support Systems (Johan Boye)
Degree Project in Computer Science, Second Level (Stefan Arnborg).
Foundations of cryptography (Douglas Wikström).
Introduction to Computer Science (Stefan Nilsson)
Introduction to the Philosophy of Science and Research Methodology for Computer Scientists (Johan Karlander)
IP routing on Internet and other complex networks (Olof Hagsand).
Java programming for Python programmers (Johan Boye).
Knowledge Discovery and Data Mining (Stefan Arnborg).
Logic for Computer Science (Dilian Gurov).
Machine-level programming and computer architecture (Stefan Nilsson).
Network security (Johan Karlander).
Problem solving and programming under pressure (Mikael Goldmann).
Programme Integrating Course in Computer Science Engineering (Viggo Kann).
Program Semantics and Analysis (Dilian Gurov).
Protocols and principles of the Internet (Olof Hagsand).
Research: Theory, Method, Practice (Stefan Arnborg).
Seminar Course in Theoretical Computer Science (Johan Håstad).
Statistical methods in applied computer science (Stefan Arnborg).
Software Engineering (Karl Meinke).
Bachelor thesis (Mads Dam).

Courses given 2009/2010

Advanced algorithms (Stefan Nilsson).
Advanced Individual Course in Computer Science (Stefan Arnborg).
Algorithms, data structures and complexity (Viggo Kann).
Algorithms and complexity for F (Johan Karlander).
Automata and Languages (Dilian Gurov)
Introduction to Computer Science (Stefan Nilsson)
Compiler construction (Torbjörn Granlund).
Computer security (Sonja Buchegger).
Complexity theory (Johan Håstad).
Foundations of cryptography (Douglas Wikström).
General cultural knowledge (Johan Karlander, Henrik Eriksson).
Knowledge Discovery and Data Mining (Stefan Arnborg).
Network security (Johan Karlander).
Problem solving and programming under pressure (Fredrik Niemelä).
Research: Theory, Method, Practice (Stefan Arnborg).
Program Semantics and Analysis (Dilian Gurov).
Statistical methods in applied computer science (Stefan Arnborg).
Software Engineering (Karl Meinke).
Degree Project in Computer Science, Second Level (Stefan Arnborg).

Courses given 2008/2009

Advanced algorithms (Stefan Nilsson).
Advanced Individual Course in Computer Science (Stefan Arnborg).
Algorithmic bioinformatics (Jens Lagergren).
Algorithms, data structures and complexity (Viggo Kann).
Algorithms and complexity for F (Johan Karlander).
Allmän bildning (Johan Karlander, Henrik Eriksson).
Computer security (Mikael Goldmann).
Formal methods (Dilian Gurov).
Foundations of cryptography (Douglas Wikström).
Knowledge Discovery and Data Mining (Stefan Arnborg).
Logic for Computer Science (Dilian Gurov)
Network security (Johan Karlander).
Problem solving and programming under pressure (Mikael Goldmann).
Research: Theory, Method, Practice (Stefan Arnborg).
Semantics for programming languages (Dilian Gurov).
Statistical methods in applied computer science (Stefan Arnborg).
Software Engineering (Karl Meinke).
Degree Project in Computer Science, Second Level (Stefan Arnborg).