DIVISIONS OF THE DEPARTMENT
Research at Computer Systems concerns development of new and better computer systems, such as computer networks, parallel computer architectures, and embedded systems, spanning specification, verification, and evaluation, as well as experimental systems development.
Research and education at the Computing Science Division aim to make the construction, programming, verification, and use of computers simpler, more reliable, and more efficient. We develop and teach methods, languages, and tools, and we are active in both applied and theoretical research.
Research at the Division of Scientific Computing has its roots in numerical analysis for partial differential equations. Today it also spans mathematical modelling, algorithms, analysis, software development, high-performance computing and computational models for data analysis based on observations in many different application areas.
Our world depends on reliable control systems and the efficient extraction of information from measured signals and datasets. The Division for Systems and Control researches and teaches the modelling, analysis, and design of dynamical systems in order to advance these areas.
The Division of Vi3 houses a unique combination of expertise in image analysis, human-computer interaction and computing education research. Mathematics, machine learning, psychology, and robotics is united in research into theory as well as for a vast array of applications.