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.
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.
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.
HiPEAC coordinates 13 research clusters and task forces in the following areas:
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).
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/