Computer Science
- MAT-72006 Advanced Algorithms and Data Structures, 7 cr
- MAT-72306 Randomized Algorithms, 4 cr
- MAT-72606 Approximation Algorithms, 4 cr
- MAT-73006 Theoretical Computer Science, 7 cr
- MAT-74006 Concurrency Theory, 7 cr
- MAT-74506 Model Checking and Petri Nets, 7 cr
- MAT-75006 Artificial Intelligence, 7 cr