Avdelningen för datavetenskap arbetar med områden som tillhör det mest grundläggande inom datavetenskapen: logik, algoritmer och språkteknologi.
Vi har nära kontakt med angränsande områden som matematik, biologi och lingvistik.

Forskargrupper:

• Programmeringslogik: typteori, programverifiering, funktionella språk
• Språkteknologi: språkvetenskaplig databehandling, komplieringsverktyg
• Algoritmer och optimering  
• Bioinformatik och System Biologi  
  

Avdelningen för datavetenskap ansvarar även för ett brett spektrum av kurser, både inom den egna institutionen och inom andra områden.

Omkring 20 seniora forskare och 15 doktorander ingår i avdelningen.

Avdelningschef:
Peter Dybjer