Institutes

• • Application Oriented Knowledge Processing
    

    Univ.-Prof. Dr. Johannes Fürnkranz
    
    

    • Database Systems
    • Knowledge-based Systems
    • Web Information Systems

    Complex Systems
    

    Univ.-Prof. Dr. Daniel Große
    
    

    • Hardware/Software Co-Design
    • RISC-V
    • Verification

  • Computational Perception
    

    Univ.-Prof. Dr. Gerhard Widmer
    
    

    • Computational Intelligence
    • Machine Learning and Pattern Recognition
    • Machine Perception
    • Multimedia Data Mining

    Computer Graphics
    

    Univ.-Prof. Dr. Oliver Bimber
    
    

    • Computer Graphics
    • Computer Vision
    • Visualization
    • Display and Imaging

  • Formal Models and Verification
    

    Univ.-Prof. Dr. Bernhard Aichernig
    
    

    • Specification & Design
    • Automata Learning
    • Falsification
    • Verification

    Integrated Circuits
    Univ.-Prof. Dr. Harald Pretl
    
    

    • Integrated Circuits and System Design
    • Energy-efficient Analog Circuits
    • Medical Electronics

  • Machine Learning
    

    Univ.-Prof. Dr. Sepp Hochreiter
    
    

    • Deep Learning
    • Machine Learning
    • Bioinformatics & Genomics
    • Genetics & Clinical Studies

    Networks and Security
    

    Univ.-Prof. Dr. René Mayrhofer
    
    

    • Computer and Communication Security
    • Privacy and Usable Security
    • Networks and Distributed Systems
    • Wireless and Long-range Communication

  • Pervasive Computing
    

    Univ.-Prof. Dr. Alois Ferscha
    
    

    • Pervasive/Ubiquitous Computing
    • Embedded AI
    • Collective Adaptive Systems

    Signal Processing
    Univ.-Prof. Dr. Mario Huemer
    
    

    • Statistical and Adaptive Signal Processing
    • Signal Processing Architectures
    • Integrated Signal Processing Systems

  • Software Systems Engineering
    

    Univ.-Prof. Dr. Alexander Egyed
    
    

    • Software Engineering
    • Software-Intensive Systems
    • Software Design

    Symbolic Artificial Intelligence
    

    Univ.-Prof. Dr. Martina Seidl
    
    

    • Symbolic Reasoning
    • Verification and Synthesis
    • Automated Deduction

  • System Software
    

    o.Univ.-Prof. Dr. Hanspeter Mössenböck
    
    

    • Programming Languages & Compilers
    • Virtual Machines
    • Software Analytics

    Telecooperation
    

    Univ.-Prof.in Dr.in Gabriele Anderst-Kotsis
    
    

    • Mobile and Distributed Computing
    • Data and Model Engineering
    • Performance Engineering
    • Multimedia and Web Information Systems

LIT Labs (Linz Institute of Technology)

• • LIT Artificial Intelligence Lab
    

    Univ.-Prof. Dr. Sepp Hochreiter
    
    

    • Deep Learning
    • Logical Reasoning
    • Computational Perception
    • Human-Centered AI

    LIT Cyber-Physical Systems Lab
    

    Univ.-Prof. Dr. Rick Rabiser
    Univ.-Prof. Dr. Alois Zoitl
    
    

    • Software Engineering in CPS
    • Production Automation Systems
    • PLC Programming

  • LIT Secure and Correct Systems Lab
    

    Univ.-Prof. Dr. Daniel Große
    
    

    • Supply Chain Security
    • Security Management
    • Secure Processes for Hardware and Software
    • Security of AI and Data Processing