Institutionen för datavetenskap
Institutionens forskningsverksamhet är indelad i fyra avdelningar: Parallella System, Programvarusystem, Programvaruteknik samt Robotik och Semantiska System. Parallella System: Kombinatorisk optimering, realtidsgrafik, parallella algoritmer, global belysning, konstruktionsmetoder, constraint programmering, reconfigurable computing. Programvarusystem: Empiriska studier av programutveckling, kraParallel Systems: Combinatorial optimisation, real-time rendering, parallel algorithms, global illumination, embedded systems design, constraint programming, reconfigurable computing. Software Engineering Research Group: Empirical studies of software development, requirements management, software quality, verification and validation. Software Development and Environments: Object-oriented develop