Professors

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

Security and Privacy Lab

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

Univ.-Prof. Dr. Ruth Breu

Quality Engineering

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

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

Distributed and Parallel Systems

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

Assoz. Prof. Dipl.-Ing. Mag. Dr. Michael Felderer

Quality Engineering

Software Engineering, Software Quality and Testing, Data-Driven Engineering, Software Processes and Product Management, Security Engineering, Software Engineering Research Methodology and Education

Univ.-Prof. Dr. Dieter Fensel

Semantic Technology Innsbruck

Semantic Web Technology, eTourism, Artificial Intelligence

Univ.-Prof. Dr. Matthias Harders

Interactive Graphics and Simulation

Interactive Medical Simulation, Virtual and Augmented Reality, Computer Haptics

Univ.-Prof. Dr. Aart Middeldorp

Computational Logic

Term Rewriting, Automated Reasoning

assoz. Prof. Dr. Georg Moser

Computation with Bounded Resources Group

Automated Reasoning, Programming Languages, Proof Theory, Resource Analysis

Univ.-Prof. Justus Piater, PhD

Intelligent and Interactive Systems

Computer Vision and Machine Learning for Robotics and Interactive Systems

assoz. Prof. Dr. Radu Prodan

www.dps.uibk.ac.at/~radu

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

Univ.-Prof. Dr. Günther Specht

Databases and Information Systems

Databases, Information Systems, Microblogs, Bioinformatics

assoz. Prof. Dr. René Thiemann

Computational Logic

Certification, Interactive Theorem Proving, Verified Software, Termination Analysis

assoz. Prof. Dr. Barbara Weber

Business Process Management Research Cluster

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