ST /


Division of Software Technology = Avdelningen för programvaruteknik

(one of the former divisions at the CSE department)

From 2017-01-01 the "old" ST and CS divisions have been replaced by the following four divisions:

  • FM = Formal Methods
  • FP = Functional Programming (including the LangTech group)
  • iSec = Information Security
  • CS = Computer Science (now without the LangTech group)

The rest of the information below is kept as a historic reference.

Head of division: Patrik Jansson (from 2013-03-01 until 2016-12-31)

Research groups:


  • BSc + MSc Courses
  • PhD education in the CSE research school

Division meetings

Employees and line managers