The division SCS works in five areas where we contribute to future solutions: software engineering, model-based computing systems, distributed and parallel systems, data science and applied AI, computer engineering and computer systems. In all areas we are active in both research and education.
We offer basic courses on programming, algorithms and data structures. Advanced software technology, testing, and analysis for reliable software systems, organizational and methodological aspects of software development and maintenance, lifecycle management of software. We also teach courses on Object-Oriented Programming, Functional Programming and Logic Programming.
We research Software technology for DevOps, advanced software testing, and novel techniques for automatic software diversification.
We also research new methods and systems for software and services analysis and development. This includes semantics-based and machine learning-based approaches, new architectures for data analysis systems, autonomous software systems, privacy and trust enabled software and services. We also study multi-agent systems (crowd intlligence).
Model-based Computing Systems
Theory and systems within modeling, programming languages, compilers, formal semantics, machine learning, probabilistic programming, constraint programming, combinatorial optimization, and real-time systems.
Distributed and Parallel Systems
We develop large distributed systems and algorithms in programming applications in data intelligent cloud services, big data and data analysis systems. We also teach Databases, Operating Systems and Parallel and Concurrent Programming.
Data Science and Applied AI
Algorithms and Systems for Data Analysis, Machine Learning and Data Mining. We work with applications in eg. healthcare, drug development, climate research, predictive vehicle maintenance and social networking.
Applications are also explored in smart cities, AI in elderly care, KBT therapy with computer support.
Computer Engineering and Computer Systems
We teach courses in Computer Systems and Computer Systems Architecture. Research in architecture support for cloud servers as well as for Machine Learning with large amounts of data.