Ohjelmistotiede
- MAT-71000 Tieto ja laskenta, 5 op
- MAT-71806 Scientific Writing with LaTeX, 2 op
- MAT-72006 Advanced Algorithms and Data Structures, 7 op
- MAT-72306 Randomized Algorithms, 4 op
- MAT-72606 Approximation Algorithms, 4 op
- MAT-73006 Theoretical Computer Science, 7 op
- MAT-74006 Concurrency Theory, 7 op
- MAT-74506 Model Checking and Petri Nets, 7 op
- MAT-75006 Artificial Intelligence, 7 op