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.
  
  

Avdelningschef:
Patrik Jansson