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. Armin Biere
    
    

    • Computational Logic
    • Formal Verification
    • Modelling, Testing and Debugging

    Integrated Circuits
    Univ.-Prof. Dr. Robert Wille
    
    

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

  • LIT Cyber-Physical Systems Lab
    

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

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

    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