Research groups at the institute
-
Computational Logic (CL)
Prof. Aart Middeldorp
-
Databases and Information Systems (DBIS)
Prof. Günther Specht
-
Distributed and Parallel Systems (DPS)
Prof. Thomas Fahringer
-
Quality Engineering (QE)
Prof. Ruth Breu
Temporary professorships
-
Computer Architecture (CA)
Prof. Alfred Strey
Research Objectives
Computer Science penetrates almost all scientific disciplines, industries and many aspects of today’s life. Taking this into consideration, the Institute of Computer Science constitutes an important role not only for the further development of research topics specific to computer science, but also for co-operations within and beyond the university.
Our aims can be characterised as follows:
- to work on scientific topic within an application oriented context
- development of well-grounded concepts, methods and tools for sustainable results
- transfer and further development of our ideas into implementable applications and co-operations
Within our institute we work on topics which deal with different aspects of complex and cooperative systems and services:
- Modelling and modelling languages
- Parallelization techniques for modern multi-processor architectures
- Programme development environments for parallel and distributed systems
- Security engineering
- Model-based software development
- Agile software processes
- Scientific databases
- Formal verification