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

Univ.-Prof. Dr. Georg Moser

Theoretical Computer Science

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. Antonio Rodriguez-Sanchez, PhD

Intelligent and Interactive Systems

Biological plausibility and inspiration, Computer Vision, Machine and Deep Learning


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



Nach oben scrollen