About

At the Institute of Logic and Computation we pursue basic and applied research on logical and algorithmic methods for modeling, constructing, and analyzing computer systems with a scope ranging from software systems to large scale information networks like the world wide web.

The expertise of the institute combines two pillars of computer science: Logic serves as a unifying theme that provides the theory and tools to acquire, represent, and manipulate information and to challenges such as the security, safety, and correctness of open and distributed systems. Algorithms operating on suitable data structures facilitate efficient computation in various settings.

The institute consists of six research divisions focusing on algorithms and complexity, databases and artificial intelligence, knowledge-based systems, formal methods and systems engineering, security and privacy, and theory and logic. We are also committed to undergraduate and graduate teaching of subjects related to these topics.

The Institute of Logic and Computation is the nexus of the faculty’s research focus of Logic and Computation.

Research Units

• Algorithms and Complexity
  E192-01 / Head: Stefan Szeider
• Databases and Artificial Intelligence
  E192-02 / Head: Stefan Woltran
• Knowledge-Based Systems
  E192-03 / Head: Thomas Eiter
• Formal Methods in Systems Engineering
  E192-04 / Head: Laura Kovacs
• Theory and Logic
  E192-05 / Head: Agata Ciabattoni
• Security and Privacy
  E192-06 / Head: Matteo Maffei
• Artificial Intelligence Techniques
  E192-07 / Head: Thomas Lukasiewicz