Univ.-Prof. Jan Beutel, PhD

Networked Embedded Systems

Networked Embedded Systems, Cyber-Physical Systems, Low-power, Mountain Cryosphere, Natural Hazard

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

assoz. Prof. Dr. Anna Fensel

Semantic Technology Innsbruck

Semantic Technology, Knowledge Graphs, Explainable Artificial Intelligence, Data Value Chain, Social Web

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