Norwegian
version of this page
Teaching by the Reliable Systems group (PSY)
The Reliable Systems group (PSY) teaches the following courses:
Spring
- IN1150 – Logical Methods (Joint course with the DKM-group)
- IN2100 – Logic for System Analysis
- IN5630 – Programming Language Implementation and Formalisation (Joint course with the PT-group)
Fall
- IN2031 – Project in Programming (Joint course with the PT-group)
- IN2040 – Functional Programming (Joint course with the PT-group)
- IN2090 – Databases and Data Modeling (Joint course with the DKM-group)
- IN5170 / IN9170 – Models of Concurrency
- IN5100 / IN9100 - Selected Topics in Rewriting Logic. Every second fall semester
- IN5110 / IN9110 – Specification and Verification of Parallel Systems. From fall 2027
Tags:
PSY,
Reliable Systems,
algorithms,
information 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. 3, 2026 7:32 PM