University courses:
-
I wrote a master thesis about
compression of endgame tables in chess, 40 ECTS.
A theoretical result from the thesis was later
published in cooperation with my supervisor. Available here
-
Algorithmic courses
-
Data compression,
10 ECTS
-
Picture Processing and Image Understanding, 10 ECTS
-
Search and Optimisation, 10 ECTS
-
External Memory Algorithms and Data Structures, 10 ECTS
-
Algorithms and Data Structures, 10 ECTS
-
Theoretic computer science
-
Category Theory for Computer Science, 10 ECTS
-
Complexity Theory, 10 ECTS
-
Introduction to Computability Theory, 10 ECTS
-
Programming Languages and Formal Semantics, 10 ECTS
-
Logic (and Proof interpretation), 5 ECTS (followed only the
first half officially)
-
Models and logics, 10 ECTS
-
Other computer science cources
- Knowledge based systems, 10 ECTS
-
Rastergraphical Systems, 3D and Virtual Reality, 10 ECTS
-
Experimental System development, 10 ECTS
-
Distributed Systems, 10 ECTS
-
Compilation, 10 ECTS. Used as the bachelor project.
-
Programming of larger systems, 10 ECTS
-
Architecture and Operating Systems, 10 ECTS
-
Introductory programming, 10 ECTS
-
Math courses
-
Geometry 1, 10 ECTS
-
Analysis 1, 10 ECTS
-
Complex Analysis, 10 ECTS
-
Algebra 1, 10 ECTS
-
Probability theory 1, 10 ECTS
-
Calculus, 20 ECTS
-
Linear Algebra, 10 ECTS