Forschungsgruppen
Derzeit gibt es am Institut für Informatik elf Forschungsgruppen:
Die Forschungsgruppe 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 Termersetzungssystemen wie Terminierung, Konfluenz und Ressourcenverbrauch automatisch zu beweisen.
Verifikation ist ein weiteres Forschungsgebiet, in welchem wir interaktive Theorem-Beweiser anwenden um die Korrektheit von großen Computersystemen gründlich zu überprüfen.
Kontakt:
Univ.-Prof. Dr. Aaart Middeldorp
Aart.Middeldorp@uibk.ac.at
assoz. Prof. Dr. René Thiemann
Rene.Thiemann@uibk.ac.at
Sekretariat:
Martina Ingenhaeff-Falkner
Tel. +43 512 507 53229
Martina.Ingenhaeff@uibk.ac.at
Databases and Information Systems
Die DBIS-Gruppe forscht in mehreren Bereichen, insbesondere im Kern- datenbankbereich, an Empfehlungssystemen, im Information Retrieval und an der Schreibstilanalyse.
Im Datenbankbereich entwickeln wir fortschrittliche Indexstrukturen für In-Memory-Datenbanken. Unsere Forschung im Bereich Empfehlungssysteme umfasst psychologisch-basierte Empfehlungen, sequenzielle Empfehlungssysteme und die Entwicklung von Methoden zur Erklärung dieser Empfehlungen. Im Bereich der Schreibstilanalyse entwickeln wir Methoden zur Identifizierung von Autoren über Sprachgrenzen hinweg, zur Erkennung von Plagiaten und zur Identifizierung maschinell erstellter Texte.
Kontakt:
Univ.-Prof. Dr. Günther Specht
Guenther.Specht@uibk.ac.at
assoz. Prof. Dr. Eva Zangerle
Eva.Zangerle@uibk.ac.at
Sekretariat:
Imren Karsli
Tel. +43 512 507 53464
Imren.Karsli@uibk.ac.at
Die Forschungsgruppe Data Science (DS) konzentriert sich auf neuartige Ansätze zur Analyse, Extraktion und zum Verständnis von Informationen aus Texten. Wir entwickeln Methoden zur automatischen Wissensesgewinnung aus großen Dokumentensammlungen und neuartige Mittel zum effektiven Informationszugang in diesen Sammlungen. Die Gruppe wendet Natural Language Processing in verschiedenen Bereichen wie Medien, Bildung, Finanzen, Kulturerbe und Recht an.
Kontakt:
Univ.-Prof. Adamt Jatowt, PhD
(Stiftungsprofessur)
Adam.Jatowt@uibk.ac.at
Sekretariat:
Maija Fedotova
Tel. +43 512 507 39768
Maija.Fedotova@uibk.ac.at
Distributed and Parallel Systems
Im Rahmen der Forschungs- und Lehrtätigkeit der Gruppe Distributed and Parallel Systems (DPS) werden Programmentwicklungssysteme, Compiler, Laufzeitsysteme sowie Software-Werkzeuge (z.B. Performance-Tools, Debugger) für moderne Parallelrechnersysteme, Hochleistungsrechner und Cloud Infrastrukturen erforscht und entwickelt. Dabei können Programme für mehrere Ziele wie z.B. Laufzeit, Energie, Ressourcenbedarf sowie Kosten optimiert werden.
Unser Ziel ist es Benutzer, Anwendungsentwickler und Wissenschaftler beim Lösen von komplexen rechen- und datenintensiven Problemen in Industrie, Wirtschaft und Forschung zu unterstützen.
Kontakt:
Univ.-Prof. Dipl.-Ing. Dr. Thomas Fahringer
Thomas.Fahringer@uibk.ac.at
Ass.-Prof. Dipl.-Ing. Dr. Peter Thoman
Peter.Thoman@uibk.ac.at
Sekretariat:
Silvia Bosetti-Haid
Tel. +43 512 507 53226
Silvia.Haid@uibk.ac.at
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, Dienstleistungen, Wissenschaft und humanitären Einsätzen, die in unstrukturierten Umgebungen agieren, teils in Zusammenarbeit mit Menschen.
Der Schwerpunkt liegt auf der visuellen Wahrnehmung sowie der Inferenz adäquater Handlungsparameter. Diese interdisziplinäre Forschung umfasst u.a. Elemente der Bildverarbeitung, des maschinellen Lernens, der Robotik, sowie der Neurobiologie und Psychologie.
Kontakt:
Univ.-Prof. Justus Piater, PhD
Justus.Piater@uibk.ac.at
assoz. Prof. Antonio Rodriguez-Sanchez, PhD
Antonio.Rodriguez-Sanchez@uibk.ac.at
Ass.-Prof. Dipl.-Ing. Dr. Samuele Tosatto
Samuele.Tosatto@uibk.ac.at
Sekretariat:
Nurten Akin
Tel. +43 512 507 53211
Nurten.Akin@uibk.ac.at
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 Objekteigenschaften, die Ausdehnung des Paradigmas der Erweiterten Realität auf den haptischen Bereich, sowie neue Methoden in der Chirurgiesimulation, u.a. Aspekte der Physikbasierten Modellierung, der Berechnungsstabilität, und von Schneideverfahren.
Kontakt:
Univ.-Prof. Dr. Matthias Harders
Matthias.Harders@uibk.ac.at
Ass.-Prof. Dr. Pascal Knierim
Pascal.Knierim@uibk.ac.at
Sekretariat:
Lisa Binderlehner
Tel. +43 512 507 53346
Lisa.Binderlehner@uibk.ac.at
Networked Embedded Sensing Center
Die Networked Embedded Systems Group beschäftigt sich mit Architekturen, Protokollen, Tools und Methoden vernetzter eingebetteter Systeme. Drahtlose Sensornetzwerke, das Internet der Dinge und Cyber-Physical Systems finden ihre Anwendung in der interdisziplinären Grundlagenforschung von Technischer Informatik und Umwelt- und Geowissenschaften.
Kontakt:
Univ.-Prof. Jan Beutel, PhD
jan.beutel@uibk.ac.at
Sekretariat:
Tatiana Elmakova
Tel. +43 512 507 53491
Tatiana.Elmakova@uibk.ac.at
Quality Engineering entwickelt innovative Methoden und Werkzeuge zur Verbesserung von Qualität und Kosteneffizienz bei Management, Entwurf und Betrieb von Software-Systemen. Einen Schwerpunkt bilden dabei modellbasierte Techniken und die Themen Anforderungsmanagement, modellbasierte Qualitätssicherung, Security Engineering, Geschäftsprozesse und Workflows.
Kontakt:
Univ.-Prof. Dr. Ruth Breu
Ruth.Breu@uibk.ac.at
assoz. Prof. Dipl.-Ing. Dr. Michael Felderer
michael.felderer@uibk.ac.at
Ass.-Prof. Dr. Sashko Ristov
Sashko.Ristov@uibk.ac.at
Ass.-Prof. Dipl.-Ing. Clemens Sauerwein, PhD
Clemens.Sauerwein@uibk.ac.at
Ass.-Prof. Dipl.-Ing. Dr. Michael Vierhauser
Michael.Vierhauser@uibk.ac.at
Ass.-Prof. Philipp Zech, PhD
Philipp.Zech@uibk.ac.at
Sekretariat:
Melanie Seebacher
Tel. +43 512 507 53203
Melanie.Seebacher@uibk.ac.at
Moderne Informationssysteme vermitteln Handlungen von Menschen mit vielen unterschiedlichen Interessen. Die Forschungsgruppe Security and Privacy Lab (Sec) entwickelt und evaluiert technische Komponenten, die potenzielle Konflikte in zukünftigen Informationsinfrastrukturen transparent und fair lösen oder gänzlich vermeiden. Konkret werden unter anderem mehrseitig sichere Zahlungssysteme, die Entdeckung von Manipulationen an Mediendaten, Versicherungsmodelle für Cyber-Risiken oder die Messung von Datenschutzeigenschaften beim Cloud-Computing erforscht.
Grundtenor der wissenschaftlichen Arbeit ist eine interdisziplinäre Herangehensweise zur Lösung akuter Probleme der IT-Sicherheit und des Datenschutzes.
Kontakt:
Univ.-Prof. Dr.-Ing. Rainer Böhme
Rainer.Boehme@uibk.ac.at
Sekretariat:
Mitra-Yolanda Naderi
Tel. +43 512 507 53494
Mitra.Naderi@uibk.ac.at
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.
Kontakt:
Univ.-Prof. Dr. Dieter Fensel
Dieter.Fensel@uibk.ac.at
Sekretariat:
Abfalterer Claudia
Tel. +43 512 507 53442
Claudia.Abfalterer@uibk.ac.at
Die Theorie der Berechenbarkeit, wie sie zu Beginn des letzten Jahrhunderts entwickelt wurde, liegt im Kern der Informatik. Berechnungen bei denen die Ressourcen begrenzt sind, können im Rahmen der Komplexitätstheorie untersucht werden. Andererseits sind Berechnungen mit begrenzten Ressourcen auch im Bereich der Programmanalyse intensiv untersucht worden, da die Programmanalyse Techniken zur Vorhersage des Verhaltens von Programmen bereitstellt. Während diese beiden Herangehensweisens des Rechnens mit begrenzten Ressourcen traditionell in getrennten Gebieten untersucht werden, zielt unsere Forschung darauf ab, die Ansätze zu vereinheitlichen, um das Beste beider Welten zu erhalten. Die Methodologie, die dazu verwendet wird, sind Untersuchungen der logischen Grundlagen der Natur der Berechnung (mit begrenzten Ressourcen) und der (automatisierten) Ressourcenanalyse von Programmen.
Kontakt:
Univ.-Prof. Dr. Georg Moser
Georg.Moser@uibk.ac.at