Courses

The following courses are partially or fully offered by the section:

Course no.      Title Points (ECTS) Timetable group
02141 Computer Science Modelling 10 F4
02148 Introduction to Coordination in Distributed Applications 5 January
02239 Data Security 7.5 E5B
02242 Program Analysis 7.5 E2A
02244 Logic for Security 7.5 F2A
02246 Model Checking 7.5 E4A
02247 Compiler Construction 5 F2B
02332 Compiler Construction 5 E4A
02393 Programming in C++ 5 E7
02913 Advanced Analysis Techniques 5 June