Informatics, TU Vienna

Research

Research at the Faculty of Informatics is conducted in four main research foci: Logic and Computation (LC), Visual Computing and Human-Centered Technology (VC + HCT), Computer Engineering (CE), and Information Systems Engineering (ISE).

Logic and Computation (LC)

  • Algorithms and complexity
  • Computational logic and deduction
  • Constraints and satisfiability
  • Problem solving and optimization
  • Foundations of databases and artificial intelligence
  • Knowledge representation and reasoning methods
  • Semantic systems and the Web
  • Formal methods for security and privacy
  • Verification and safety of computer systems
  • Natural computing and formal languages
  • more about this research focus ...

Visual Computing and Human-Centered
Technology (VC + HCT)

  • Computer graphics
  • Computer vision and pattern recognition
  • Visualization and visual analytics
  • Virtual, augmented, and mixed reality
  • Media analysis and retrieval
  • Human-computer interaction, design and socially embedded computing
  • Assistive technologies and ubiquitous computing
  • more about this research focus ...

Computer Engineering (CE)

  • Digital circuits and hardware architectures
  • Parallel and distributed, dependable, real-time systems
  • Hybrid systems and optimal control
  • Quantitative and runtime verification
  • Computational modeling and simulation
  • Autonomous systems, robotics and automation systems integration
  • Cyber-physical social systems & Internet of Things
  • more about this research focus ...

Information Systems Engineering (ISE)

  • Software and Information Engineering
  • Compilers, Languages, and Middleware Engineering
  • Programming Systems and Tools
  • Distributed Systems
  • High Performance Computing
  • Data Analytics and Machine Learning
  • Business Informatics
  • E-Commerce
  • Informatics Didactics
  • more about this research focus ...

Publications

Current publications are available via the TU Wien Publication Database and on the websites of our research divisions.