About

Over the last few decades, computers have been increasingly used for tasks that were once thought the sole preserve of human intelligence. Scientists have developed ways of formally representing knowledge and using “intelligent” methods to solve problems with the aid of computers. This field is generally described as computational intelligence.

Logic and Computation focuses on logical methods and algorithms for modeling, constructing, and analyzing complex and intelligent computer systems. The research focus comprises basic research on mathematical logic, automated decision procedures, and algorithms and their complexity, as well as applications of logical methods to data and knowledge bases, semantic systems, artificial intelligence, and formal methods for building and operating computer systems. Logic serves as a unifying theme that provides the theory and tools to acquire, represent, and manipulate information in intelligent systems, and to address challenges such as the security, safety, and correctness of safety-critical and distributed systems.

Research Units

Six of the faculty’s twenty-two research units are primarily focused on topics related to Logic and Computation. Visit their pages to learn about current projects, publications, courses, and the people involved.

• 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: Gernot Salzer
• Security and Privacy
  E192-06 / Head: Matteo Maffei

Below is a small selection of recent research activities related to Logic and Computation. To learn more, visit the pages of the research units listed above.