Forschungsgruppen

Symbolbild für die Forschungsgruppe Computational Logic

Computational Logic

Die Forschungs­gruppe Computational Logic beschäftigt sich mit den logischen Fundamenten der Informatik und deren Anwendung bei der Analyse und Verifikation komplexer Systeme.

Moderne technische Anwendungen haben ein Maß an Komplexität erreicht, die es dem Menschen nicht mehr ermöglicht, die Korrektheit und Sicherheit zu garantieren.

Neben Grundlagenforschung im Bereich automatisches Beweisen, entwickeln wir auch Werkzeuge um Eigenschaften von Termersetzungs­systemen wie Terminierung, Konfluenz und Ressourcen­verbrauch automatisch zu beweisen.

Verifikation ist ein weiteres Forschungsgebiet, in welchem wir interaktive Theorem-Beweiser anwenden um die Korrektheit von großen Computer­systemen gründlich zu überprüfen.

cl-informatik.uibk.ac.at

Databases and Information Systems

Databases and Information Systems

Die Forschungs­gruppe Daten­banken und Informations­systeme (DBIS), unter der Leitung von Univ.-Prof. Dr. Günther Specht, hat ihre Forschungs­schwerpunkte in den Bereichen neue NoSQL-Datenbank­modelle, insbesondere Graph­datenbanken, Information Retrieval und Vorschlags­systeme sowie Genom-Datenbanken.

In letzteren werden z.B. neue Algorithmen (Ähnlichkeitssuche in Gensequenzen) und Verarbeitungs­methoden von großen genetischen Datenmengen entwickelt.

dbis.uibk.ac.at

Distributed and Parallel Systems

Distributed and Parallel Systems

Im Rahmen der Forschungs- und Lehrtätigkeit der Gruppe Distributed and Parallel Systems (DPS) werden Programm­entwicklungs­systeme, Compiler, Laufzeit­systeme sowie Software-Werkzeuge (z.B. Performance-Tools, Debugger) für moderne Parallel­rechner­systeme, Hochleistungs­rechner und Cloud Infrastrukturen erforscht und entwickelt. Dabei können Programme für mehrere Ziele wie z.B. Laufzeit, Energie, Ressourcen­bedarf sowie Kosten optimiert werden.

Unser Ziel ist es Benutzer, Anwendungs­entwickler und Wissenschaftler beim Lösen von komplexen rechen- und datenintensiven Problemen in Industrie, Wirtschaft und Forschung zu unterstützen.

dps.uibk.ac.at

Intelligent and Interactive Systems

Intelligent and Interactive Systems

Die Arbeitsgruppe IIS beschäftigt sich mit Systemen, die mit ihrer physischen Umgebung in komplexer Weise interagieren. Einen wichtigen Motivator bilden autonome Roboter mit Anwendungen in Haushalt, Dienst­leistungen, Wissenschaft und humanitären Einsätzen, die in unstrukturierten Umgebungen agieren, teils in Zusammen­arbeit mit Menschen.

Der Schwerpunkt liegt auf der visuellen Wahrnehmung sowie der Inferenz adäquater Handlungs­parameter. Diese inter­disziplinäre Forschung umfasst u.a. Elemente der Bild­verarbeitung, des maschinellen Lernens, der Robotik, sowie der Neurobiologie und Psychologie.

iis.uibk.ac.at

Interactive Graphics and Simulation

Interactive Graphics and Simulation

Die Gruppe Interaktive Grafik und Simulation beschäftigt sich mit Forschung in Medizinischer Simulation und Visualisierung, Virtueller und Erweiterter Realität, sowie Haptischer Interaktion.

Beispiele neuester Forschung ist die datengetriebene Erfassung und Darstellung visueller und taktiler Objekt­eigenschaften, die Ausdehnung des Paradigmas der Erweiterten Realität auf den haptischen Bereich, sowie neue Methoden in der Chirurgie­simulation, u.a. Aspekte der Physikbasierten Modellierung, der Berechnungs­stabilität, und von Schneide­verfahren

igs.uibk.ac.at

Quality Engineering

Quality Engineering

Quality Engineering entwickelt innovative Methoden und Werkzeuge zur Verbesserung von Qualität und Kosten­effizienz bei Management, Entwurf und Betrieb von Software-Systemen. Einen Schwerpunkt bilden dabei modellbasierte Techniken und die Themen Anforderungs­management, modellbasierte Qualitäts­sicherung, Security Engineering, Geschäfts­prozesse und Workflows.

Das anwendungs­orientierte Forschungs­zentrum Quality Engineering Laura Bassi LaB – QE LaB – entwickelt zusammen mit Industrie­partnern Methoden und Technologien für IT-Systeme im Spannungs­feld von Kooperation, Qualität und Evolution.

qe-informatik.uibk.ac.at

Security and Privacy Lab

Security and Privacy Lab

Moderne Informations­systeme vermitteln Handlungen von Menschen mit vielen unterschiedlichen Interessen. Die Forschungs­gruppe Security and Privacy Lab (Sec) entwickelt und evaluiert technische Komponenten, die potenzielle Konflikte in zukünftigen Informations­infrastrukturen transparent und fair lösen oder gänzlich vermeiden. Konkret werden unter anderem mehrseitig sichere Zahlungs­systeme, die Entdeckung von Manipulationen an Mediendaten, Versicherungs­modelle für Cyber-Risiken oder die Messung von Datenschutz­eigenschaften beim Cloud-Computing erforscht.

Grundtenor der wissenschaftlichen Arbeit ist eine interdisziplinäre Herangehensweise zur Lösung akuter Probleme der IT-Sicherheit und des Datenschutzes.

informationsecurity.uibk.ac.at

Semantic Technologies (STI)

Semantic Technology Innsbruck 

Das Web ist mittlerweile 25 Jahre alt und hatte sich sehr schnell in ein weltweites Phänomen verwandelt. Dabei ist es einer ständigen Wandlung unterworfen. Suchmachinen liefern nicht mehr nur Links, sondern die gewünschten Informationen. Social Media Kanäle erweitern wesentlich den Benutzerkreis, Chatbots und Intelligent Personal Assistants bieten neue interaktive Mögilchkeiten des Zugriffs.

STI entwickelt für diesen Bereich semantische Technologien als Teilgebiet der Angewandten Künstlichen Intelligenz.

www.sti-innsbruck.at