Studies
Main set of courses:
- R442 - Semantics of programming languages
- R444 - Design and implementation of functional programming languages
- R481 - Script languages and web development
- R482 - Web tools and languages
- R490 - Software Development - advanced concepts
- R451 - Formal methods - advanced concepts
Wider set of courses:
- R410 - Algorithm construction and analysis - advanced concepts
- R417 - Calculation complexity
- R419 - Computational theory - advanced concepts
- R420 - Advanced computer architecture
- R431 - Digital image processing - advanced concepts
- R453 - Automated theorem proving
- R459 - Selected topics in theoretical computing
- R470 - Databases - advanced concepts
- R471 - Database theory
- R478 - Semantic web
- R480 - Constraint programming