Software safety and Security is a 7.5-point (högskolepoäng) course.

The course covers several fundamental techniques for the analysis  of programs, with focus on safety and security. The techniques are based on types and logics for programs, and allow to discover certain types of illicit behaviour or deduce the absence of such behaviour. We consider several successful tools implementing such techniques.

The course is given in English. However, students can use Swedish when writing assignments and exams, and when communicating with the lecturer.