Univ.-Prof. Dr.-Ing. Rainer Böhme

Security and Privacy Lab

Security and Privacy, Digital Forensics, Steganography, Cryptographic Currencies, Incentives and Behavior, Cybercrime

A_12439 Univ.-Prof. Dr. Ruth Breu

Quality Engineering

Security Engineering, Enterprise Architecture Management, Requirements Engineering and Testing, Change and Risk Driven Workflows

Thomas Fahringer Univ.-Prof. Dipl.-Ing. Dr.Thomas Fahringer

Distributed and Parallel Systems

High Performance Computing, Parallelizing and Optimizing Compilers, Energy Aware Computing, Cloud Computing

Matthias_harders Univ.-Prof. Dipl.-Inf. Matthias Harders

Interactive Graphics and Simulation

Interactive Medical Simulation, Virtual and Augmented Reality, Computer Haptics

Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp

Computational Logic

Term Rewriting, Automated Reasoning

Georg_Moser assoz. Prof. Dr. Georg Moser

Computation with Bounded Resources Group

Automated Reasoning, Programming Languages, Proof Theory, Resource Analysis

justus-1-DSC_7664-crop-small Univ.-Prof. Justus Piater, PhD

Intelligent and Interactive Systems

Computer Vision and Machine Learning for Robotics and Interactive Systems

Prodan1_fri assoz. Prof. Dr. Radu Prodan


Parallel and Distributed Systems,

High-performance Scientific Computing, Software Tools, Compiler Design and Optimisations

Günther Specht Univ.-Prof. Dr. Günther Specht

Databases and Information Systems

Databases, Information Systems, Microblogs, Bioinformatics

 RenéThiemann assoz. Prof. Dr. René Thiemann

Computational Logic

Certification, Interactive Theorem Proving, Verified Software, Termination Analysis

barbara assoz. Prof. Dr. Barbara Weber

Business Process Management Research Cluster

Process Modeling, Process Execution, Process Mining and Process Evolution, Test Driven Modeling

Universität Innsbruck