Avdelningen bedriver forskning och undervisning inom ett brett programvarutekniskt fält.

Forskningsverksamheten kan naturligt grupperas enligt följande:

• Funktionell programmering. Speciellt fokuseras på design och användning av domänspecifika, inbäddade språk för olika tillämpningar.
  
  
• Programvaruteknik med formella metoder. Utveckling och användning av en integrerad miljö för utveckling, testning, formell specifikation och verifiering.
  
  
• Språkbaserad säkerhet. Utveckling av säkerhetsmodeller och av metoder för att konstruera säkra datorsystem, baserade på programspråksteknik.
  
  
• Programanalys och -system. Utveckling av verktyg och tekniker för programanalys, med tillämpningar inom bland annat refaktorisering, versionshantering och testning.
  
  
• Tillämpad programvaruteknik. Empirisk grundad utveckling av  processer och teknologier för bland annat kvalitetssäkring av och kostnadsberäkning för programvara.
  

Avdelningschef:
Björn von Sydow