The computational logic group is concerned with the logical foundations of computer science and their application to the analysis and verification of complex systems. Modern engineering applications have reached a level of complexity where humans cannot ensure their correctness or safety. Besides fundamental research in automated reasoning we are developing tools for automatically proving properties of rewrite systems such as termination, confluence, and resource consumption. Verification is another research theme, in which we employ interactive theorem provers to rigorously check the correctness of large computer systems.
|Databases and Information Systems
The research Group Databases and Information Systems focuses its research on new NoSQL database models, notably graph-databases, information retrieval and recommender systems as well as genome databases. For the latter, new algorithms (similarity searches in gene-sequences) and processing methods of large data volume are being developed.
|Distributed and Parallel Systems
As part of the research and teaching activities of the Distributed and Parallel Systems group, program development systems, compiler, runtime systems as well as software tools (e.g. performance tools, debugger) for modern parallel computing systems, high performance computers and cloud infrastructures have been researched and developed enabling optimization of programs towards several parameters like e.g. runtime, energy consumption, resource usage and cost. Our goal is to support users, application developers and scientists in solving complex computation- and data-intensive problems in industry, business and research.
|Intelligent and Interactive Systems
The IIS group works with systems that interact with their physical environment in complex ways. Much of their research is driven by requirements of autonomous robots with applications in household, service, and scientific and humanitarian missions. Such robots must act in unstructured environments, sometimes in collaboration with humans. The activity of the IIS group focuses on visual perception and on the inference of adequate action parameters. This interdiscplinary research combines elements of computer vision, machine learning, robotics, neuroscience, psychology, and more.
|Interactive Graphics and Simulation
The Interactive Graphics and Simulation group focuses on research in medical simulation and visualization, virtual and augmented reality, as well as haptic interaction. Examples of recent research are data-driven acquisition and rendering of visual and haptic object properties, the extension of the augmented reality paradigm to the haptic domain, as well as new approaches in surgical simulation, including aspects of physical modeling, computational stability, and cutting procedures.
The Quality Engineering group develops innovative methods and tools to increase quality and efficiency in management, design and operation of software systems. Emphasis is placed on model-based techniques, software processes, requirement management, model-based quality assurance, work flow management and security engineering. The application-oriented research centre Quality Engineering Laura Bassi LaB – QE LaB – develops, together with industry partners, methods and technologies for IT-systems facing cooperation, quality and evolution.
|Security and Privacy Lab
Modern information systems mediate the actions of people with many different interests. The Security and Privacy group (Sec) is committed to develop and evaluate technical components for future information infrastructures that facilitate transparent and fair resolution of potential conflicts, or avoids them altogether. Concrete examples include systems that process multilaterally secure payments, detect forgeries in media data, model cyber-risk for insurance companies, or measure privacy properties in cloud computing. A common thread in the group’s scientific work is an interdisciplinary approach to solving exigent problems in IT security and privacy.
Computers are changing from single isolated devices to entry points in a world wide network of information exchange and business transactions.Scalable support in data, information, and knowledge exchange based on this global and heterogeneous network becomes a key issue in current computer technology. The major objective of STI Innsbruck is to apply Artificial Intelligence to provide such a scalable support by using semantic technologies for processing user input, content, and their matchmaking.