Core Areas of Research

Research Focus

Computer Science already pervades almost all scientific disciplines, industries and areas of life. In this context the Institute of Computer Science, Innsbruck, Tyrol plays and important role for the enhancement of research topics in the international area specific to Computer Science, as well as for co-operations within and beyond the University.

Our main goals can be characterised as follows:

Work on scientific topics in a user oriented context
Development of fundamental concepts, methods and tools for sustainable results
Transfer and development of our ideas into useful applications and co-operations

Topics which are covered at our Institute, deal with various aspects of complex and cooperative systems and services:

Computer Networks and Internet Technology
Adaptive Wireless Communication
Modeling and modeling languages
Techniques for parallelisation of modern multi core architectures
Program development environments for parallel and distributes systems
Security Engineering
Model-based software development
Agile software processes
Scientific databases
Formal verification
and lots more