Year 1

Programme overview for year 2025/2026

The programme overview is adopted 2025-02-19 by Dean of Education.

AUTUMN TERM

Study period 1

Compulsory courses

Course code and name	Module, credits/period	Block	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT060 Logic in computer science	Examination 7.5 credits		E	Thu 30/10-2025 am J	Thu 08/01-2026 am J Wed 26/08-2026 am J
TIN093 Algorithms	Examination 7.5 credits		E	Sat 25/10-2025 pm J	Thu 27/08-2026 pm J

Elective courses

Course code and name	Module, credits/period	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT105 Computer architecture	Project 1.5 credits
DAT105 Computer architecture	Examination 6 credits	S	Mon 27/10-2025 pm J	Wed 07/01-2026 am J Tue 18/08-2026 pm J
DAT350 Types for programs and proofs	Oral examination 7.5 credits	E, 1)
DAT441 Advanced topics in machine learning	Written and oral assignments 3.5 credits	1)
DAT441 Advanced topics in machine learning	Examination 4 credits	S, 1)	Mon 27/10-2025 am J INSP	Thu 08/01-2026 pm J INSP Mon 17/08-2026 pm J INSP
DAT650 Formal methods in software development	Laboratory 2.5 credits	1)
DAT650 Formal methods in software development	Examination 5 credits	S, 1)	Thu 30/10-2025 am J	Thu 08/01-2026 am J Mon 17/08-2026 pm J

Study period 2

Compulsory courses

Course code and name	Module, credits/period	Block	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT151 Programming language technology	Examination 6 credits			Thu 15/01-2026 am J	Thu 09/04-2026 am J Thu 27/08-2026 pm J
DAT151 Programming language technology	Laboratory 1.5 credits		S

Elective courses

Course code and name	Module, credits/period	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT278 Sustainable computing	Laboratory 1.5 credits
DAT278 Sustainable computing	Examination 6 credits	S	Wed 14/01-2026 am J INSP	Wed 08/04-2026 am J INSP Thu 20/08-2026 am J INSP
DAT415 Computability	Examination 4.5 credits	1)	Wed 14/01-2026 am J	Fri 10/04-2026 am J Wed 19/08-2026 am J
DAT415 Computability	Written and oral assignments 3 credits	S, 1)
DAT566 Introduction to data science and AI	Written and oral assignments 4 credits
DAT566 Introduction to data science and AI	Examination 3.5 credits	S	Tue 13/01-2026 pm J INSP	Thu 19/03-2026 am J INSP Fri 28/08-2026 pm J INSP
DAT615 Neuro-symbolic AI	Examination 7.5 credits	E	Tue 13/01-2026 pm J	Wed 19/08-2026 pm J
EEN020 Computer vision	Project 3 credits
EEN020 Computer vision	Written and oral assignments 4.5 credits	S
TDA251 Algorithms, advanced course	Project 7.5 credits	E, 1)
TDA352 Cryptography	Laboratory 1.5 credits	1)
TDA352 Cryptography	Examination 6 credits	S, 1)	Fri 16/01-2026 am J	Thu 09/04-2026 am J Fri 28/08-2026 am J
TDA362 Computer graphics	Examination 6 credits		Fri 16/01-2026 am J	Fri 10/04-2026 pm J Tue 25/08-2026 pm J
TDA362 Computer graphics	Laboratory 1.5 credits	S
TDA452 Functional programming	Laboratory 3 credits
TDA452 Functional programming	Examination 4.5 credits	S	Tue 13/01-2026 am J INSP	Thu 09/04-2026 pm J INSP
TDA507 Computational methods in bioinformatics	Written and oral assignments 7.5 credits	E
TEK656 Creating technology-based ventures	Examination 7.5 credits	E	Thu 15/01-2026 am J INSP	Wed 08/04-2026 am J INSP Mon 24/08-2026 pm J INSP

SPRING TERM

Study period 3

Elective courses

Course code and name	Module, credits/period	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT341 Applied machine learning	Take-home examination 4 credits	2)
DAT341 Applied machine learning	Written and oral assignments 3.5 credits	S, 2)
DAT410 Design of AI systems	Written and oral assignments 7.5 credits	E
DAT566 Introduction to data science and AI	Written and oral assignments 4 credits
DAT566 Introduction to data science and AI	Examination 3.5 credits	S	Thu 19/03-2026 am J INSP	Mon 01/06-2026 am J INSP Fri 28/08-2026 pm J INSP
EDA223 Real time systems	Examination 4.5 credits		Mon 16/03-2026 am J	Thu 11/06-2026 pm J Mon 17/08-2026 am J
EDA223 Real time systems	Laboratory 3 credits	S
EDA264 Computer security	Laboratory 1.5 credits
EDA264 Computer security	Written and oral assignments 6 credits	S
TDA206 Discrete optimization	Examination 7.5 credits	E, 1)	Mon 16/03-2026 pm J	Tue 18/08-2026 am J
TDA233 Algorithms for machine learning and inference	Written and oral assignments 3 credits	1), 2)
TDA233 Algorithms for machine learning and inference	Examination 4.5 credits	S, 1), 2)	Fri 20/03-2026 pm J INSP	Thu 11/06-2026 am J INSP Wed 26/08-2026 am J INSP
TDA342 Advanced functional programming	Laboratory 4.5 credits	1)
TDA342 Advanced functional programming	Examination 3 credits	S, 1)	Thu 19/03-2026 pm J	Wed 10/06-2026 am J Mon 24/08-2026 pm J
TME286 Interpretable artificial intelligence	Project 7.5 credits	E

Study period 4

Elective courses

Course code and name	Module, credits/period	Note	Examination	Re-examination (okt 2025 - aug 2026)
DAT085 Project in computer science	Project 7.5 credits	E
DAT235 Research-oriented course in Computer Science and Engineering	Project 7.5 credits	E
DAT341 Applied machine learning	Take-home examination 4 credits	2)
DAT341 Applied machine learning	Written and oral assignments 3.5 credits	S, 2)
DAT471 Computational techniques for large-scale data	Written and oral assignments 4.5 credits
DAT471 Computational techniques for large-scale data	Examination 3 credits	S	Wed 03/06-2026 am J	Mon 17/08-2026 am J
DAT475 Advanced databases	Written and oral assignments 3 credits
DAT475 Advanced databases	Examination 4.5 credits	S	Tue 02/06-2026 pm J	Sat 11/10-2025 am J Thu 27/08-2026 am J
DAT700 Advanced programming language theory	Project (part A) 5 credits
DAT700 Advanced programming language theory	Examples class (part A) 2.5 credits	S
EDA491 Network security	Examination 6 credits		Mon 01/06-2026 am J INSP	Fri 10/10-2025 pm J INSP Thu 27/08-2026 pm J INSP
EDA491 Network security	Laboratory 1.5 credits	S
TDA283 Compiler construction	Project 7.5 credits	E, 1)
TDA602 Language-based security	Project 4.5 credits	1)
TDA602 Language-based security	Laboratory 3 credits	S, 1)
TME290 Autonomous robots	Examination 7.5 credits	E	Mon 01/06-2026 am J	Contact examiner Tue 25/08-2026 pm J

1 Compulsory elective: Compulsory elective (DAT350, DAT415, DAT441, DAT650, TDA206, TDA233, TDA251, TDA283, TDA342, TDA352, TDA602) 4 of stated courses are required for the degree
2 Overlap: Only one of the marked courses can be included in the degree (DAT341, TDA233)
DIG: Digital examination is an examination written in the Inspera system. The student will bring their own computer and access the exam via Safe exam browser.
E: The only module in the course. Module grade and grade for the course are reported at the same time.
S: Final grade. All module grades are reported before the final grade for the course can be reported.

Computer Science - Algorithms, Languages and Logic

Overview

Year 1

Programme overview for year 2025/2026

AUTUMN TERM

Study period 1

Compulsory courses

Elective courses

Study period 2

Compulsory courses

Elective courses

SPRING TERM

Study period 3

Elective courses

Study period 4

Elective courses

Overview