Teaching

Department of Computers and Informatics (TUKE)

Formal Languages

• Instructor: William Steingartner
• Course Information Page

Functional Programming

• Instructor: Sergej Chodarev
• Course Information Page

Logic for Informaticians

• Instructors: Valérie Novitzká, Ján Perháč
• Course Information Page

Semantics of Programming Languages

• Instructors: William Steingartner, Ján Perháč
• Course Information Page

Type Theory

• Instructors: Valérie Novitzká, Ján Perháč
• Course Information Page

Department of Informatics (UiO)

Programming Language Implementation and Formalisation

• Instructors: Michael Kirkedal Thomsen, Joachim Tilsted Kristensen, Lars Vadgaard
• Course Information Page