Professors
| Titel | Name |
Research Group |
Research Fields |
| Univ.-Prof. PhD | Beutel Jan | Networked Embedded Systems | Networked Embedded Systems, Cyber-Physical Systems, Low-power, Mountain Cryosphere, Natural Hazard |
| Univ.-Prof. Dr.-Ing. | Böhme Rainer | Security and Privacy Lab | Security and Privacy, Digital Forensics, Steganography, Cryptographic Currencies, Incentives and Behavior, Cybercrime |
| Univ.-Prof. Dr. | Breu Ruth | Quality Engineering | Security Engineering, Enterprise Architecture Management, Requirements Engineering and Testing, Change and Risk Driven Workflows |
| Univ.-Prof. Dipl.-Ing. Dr. | Fahringer Thomas | Distributed and Parallel Systems | High Performance Computing, Parallelizing and Optimizing Compilers, Energy Aware Computing, Cloud Computing |
| assoz. Prof. Dipl.-Ing. Dr. | Felderer Michael | 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. | Fensel Anna | Semantic Technology Innsbruck | Semantic Technology, Knowledge Graphs, Explainable Artificial Intelligence, Data Value Chain, Social Web |
| Univ.-Prof. Dr. | Fensel Dieter | Semantic Technology Innsbruck | Semantic Web Technology, eTourism, Artificial Intelligence |
| Univ.-Prof. Dr. | Harders Matthias | Interactive Graphics and Simulation | Interactive Medical Simulation, Virtual and Augmented Reality, Computer Haptics |
| assoz. Prof. Dr. | Kaliszyk Cezary |
Computational Logic | |
| Univ.-Prof. Dr. |
Middeldorp Aart | Computational Logic | Term Rewriting, Automated Reasoning |
| Univ.-Prof. Dr. | Moser Georg | Theoretical Computer Science | Automated Reasoning, Programming Languages, Proof Theory, Resource Analysis |
| Univ.-Prof. PhD |
Piater Justus | Intelligent and Interactive Systems | Computer Vision and Machine Learning for Robotics and Interactive Systems |
| assoz. Prof. PhD |
Rodriguez-Sanchez Antonio | Intelligent and Interactive Systems | Biological plausibility and inspiration, Computer Vision, Machine and Deep Learning |
| Ass.-Prof. Dipl.-Ing. PhD |
Sauerwein Clemens |
Quality Engineering | Information Security, Information Systems, Security & Software Engineering Education |
| Ass.-Prof. Dr.-Ing. | Saveriano Matteo | Intelligent and Interactive Systems | Intuitive Skills Transfer, Safe Human-Robot Interaction, Learning and Interpreting Human Activities, Machine Learning for robotics |
| Univ.-Prof. Dr. | Specht Günther | Databases and Information Systems | Databases, Information Systems, Microblogs, Bioinformatics |
| assoz. Prof. Dr. | Thiemann René | Computational Logic | Certification, Interactive Theorem Proving, Verified Software, Termination Analysis |
| Ass.-Prof. Dipl.-Ing. Dr. | Thoman Peter |
Distributed and Parallel Systems | GPU Computing, Parallel Runtime Systems, Compilers for HPC |
| Ass.-Prof. Dr. | Zangerle Eva | Databases and Information Systems | Social Media Analysis, Recommender Systems, Information Retrieval |