- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
- Advanced Tools for Software Development and Monitoring +1NSWI126 | Faculty of Mathematics and Physics
- Work with Professional TextsL0636 | Hussite Theological Faculty