Computer Science


    • Application Oriented Knowledge Processing

      Photo: FAW-Logo Univ.-Prof. Dr. Johannes Fürnkranz

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

      Complex Systems

      Photo: ICA-Logo Univ.-Prof. Dr. Daniel Große

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

      Photo: CP-Logo Univ.-Prof. Dr. Gerhard Widmer

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

      Computer Graphics

      Photo: CG-Logo Univ.-Prof. Dr. Oliver Bimber

      • Computer Graphics
      • Computer Vision
      • Visualization
      • Display and Imaging
    • Formal Models and Verification

      Photo: fmv-Logo Univ.-Prof. Dr. Martina Seidl

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

      Integrated Circuits
      Photo: RIIC-Logo Univ.-Prof. Dr. Harald Pretl

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

      Photo: Machine Learniung Logo Univ.-Prof. Dr. Sepp Hochreiter

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

      Networks and Security

      Photo: INS-Logo Univ.-Prof. Dr. René Mayrhofer

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

      Photo: pervasive-Logo Univ.-Prof. Dr. Alois Ferscha

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

      Signal Processing
      Photo: ISP-Logo Univ.-Prof. Dr. Mario Huemer

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

      Photo: ISSE-Logo Univ.-Prof. Dr. Alexander Egyed

      • Software Engineering
      • Software-Intensive Systems
      • Software Design

      Symbolic Artificial Intelligence

      Photo: SSW-Logo Univ.-Prof. Dr. Martina Seidl

      • Symbolic Reasoning
      • Verification and Synthesis
      • Automated Deduction
    • System Software

      Photo: SSW-Logo o.Univ.-Prof. Dr. Hanspeter Mössenböck

      • Programming Languages & Compilers
      • Virtual Machines
      • Software Analytics


      Photo: TK-Logo Gabriele Anderst-Kotsis

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

LIT Labs (Linz Institute of Technology)

Last modified on Wednesday, 07-Feb-2024 15:33:34 CET