Highlights
Computer and Communication Systems
The Computer and Communication Systems Group (Lehrstuhl für Technische Informatik) investigates some of the grand challenges in computer science focusing on self-organization techniques in massively distributed systems and the development of adaptive methods and algorithms in mobile wireless networks. The research focus is on applications in vehicle-to-vehicle communications and sensor networks. Some of the key challenges are related to the consequent miniaturization of the participating systems, including aspects of nano technology. These issues can only be successfully approached in interdisciplinary teams, e.g., turning to nature for inspirations. A further research focus is on network security. The group focuses on efficient network monitoring in high speed networks for attack detection in the context of an IT early warning system.
Research projects include the development of new sensor systems and the information exchange among such resource limited systems using concepts from data stream processing, the beacon based communication between vehicles for safety and efficiency applications, the monitoring and analysis of overlay based communication protocols, and the robust real-time communication in industrial wireless networks.
Computational Logic
The Computational Logic group could achieve remarkable success in the realm of automated program analysis. The four tools developed in Innsbruck - CeTA (Certified Termination), MLBtt (Completion), TCT (Complexity) and TTT2 (Termination) are among the best by international comparison.
Read more http://cl-informatik.uibk.ac.at/research/software/
Databases and Information Systems
eCOMPAGT
In a cooperation between the Databases and Information Systems group and the Department for Genetic Epidemiology (Medical University Innsbruck) new genetic predispositions for common diseases are identified. Due to the complexity and huge amount of biological data (in the form of Copy Number Variations, CNVs) new algorithms and software solutions able to analyse and administer the huge amount of data are being developed.
Read more eCOMPAGT
Cooperation SmApper
In a Cooperation with the company SmApper new concepts to realize efficient management of distributed meta data are being developed. Aim of this research is to enable access to meta data which is collected from data systems for subsequent analysis and administrative processes and to actively influence the process of indexing already during the creation of the file. This separation enables firstly to reduce the workload of the file server because over 30 % of all operations are related to meta data and secondly, this enables a better meta data organisation.
Distributed and Parallel Systems
The Distributed and Parallel Systems group is member of several NoE (Network of Excellence) among them: EGEE I + II + III, CoreGRID and HiPEAC.
CoreGRID aims at strengthening and advancing scientific and technological excellence in the area of Grid and Peer-to-Peer technologies. This NoE brings together over 160 researchers and over 160 PdD students from 41 institutions. CoreGRID focuses on: knowledge & data management, programming models, architectural issues: scalability, dependability, adaptability, grid information and resource workflow monitoring services, resource management and scheduling and grid systems, tools and environments.
Read more CoreGRID
HiPEAC coordinates 13 research clusters and task forces in the following areas:
Multi-core architecture, Programming models and operating systems, Adaptive compilation, Interconnects, Reconfigurable computing, Design methodology and tools, Binary translation and virtualization, Simulation platform, Compilation platform , Task force on low power, Task force on reliability, Task force on applications, Task force on education
Read more HiPEAC
Top
Intelligent and Interactive Systems
Research at the Intelligent and Interactive Systems group is motivated by artificial systems that interact with environments that were not designed for them, such as human or natural environments. In this context, we focus on robotic visual perception and its role in understanding and interaction.
The European Project PACO-PLUS sought to equip household robots with learning skills, allowing them to explore unknown objects and how to handle them. While still at the University of Liège, Prof. Piater's group contributed methods for learning object models that allow the robot to improve its grasping skills with experience. This line of research will be extended within the upcoming European projects XPERIENCE (developing methods for exploiting past experience to benefit future learning problems) and IntellAct (about understanding the intents and goals of observed human manipulations for monitoring and automation).
Quality Engineering
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.
Current projects and work::
QE LaB – Quality Engineering Laura Bassi Lab http://www.qe-lab.at/
SECTET – Interorganizational Workflow Security http://sectissimo.info/
COSEMA – Collaborative Security Management http://cosema.org/
Telling TestStories – Living Requirements http://teststories.info/
|
