Teaching

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

Spring

Fall

 

 

  • IN5170 (and IN9170). (The course has previously been given under the number INF 4140/ 9145)
  • IN5440 (and IN9440). (The course has previously been given under the number INF 5906/9906)
  • INF2220 (taught with the PSE group)
  • INF3110 (taught with the PSE group)
  • INF5130/INF9130 - Selected topics in rewriting logic. Every second fall semester from fall 2019
  • INF5140/INF9140 - Specification and verification of parallel systems. Every second fall semester from fall 2019
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 May 31, 2018 9:59 AM