Teaching by the ``Reliable systems'' group (PSY)

The Reliable Systems group PSY (formerly PMA) teaches the following courses:

Spring

Fall

  • IN5170 / IN9170 -  Models of concurrency. The course has previously been given under the number INF 4140/ 9145.
  •  IN5440  (and IN9440) - ``static analysis''. The course has previously been given under the number INF5906/9906). Alternating with IN5110. Next time fall 2020.
  •  IN2010  - algorithms and data structures. Formerly INF2220. Taught with the PSE group.
  •  INF3110 - programming languages. Taught with the PSE group.
  • IN5100/IN9100 - Selected topics in rewriting logic. Every second fall semester from fall 2019.
  • IN5110/IN9110 - Specification and verification of parallel systems. Every second fall semester from fall 2019. Alternating with IN5440 (``static analysis''). The course was formerly given under the numbers INF5140/INF9110.
Tags: PMA, PSY, Reliable Systems, algorithms, security, program analysis, concurrency, rewriting logic, semantics, compiler, courses, parallel systems, modelling, formal methods, programming languages
Published Feb. 11, 2011 9:51 AM - Last modified Aug. 13, 2019 7:43 AM