LogiCS
  • About
  • Groups
    • Algorithms and Complexity
    • Databases and Artificial Intelligence
    • Formal Methods in Systems Engineering
    • Knowledge-Based Systems
    • Security and Privacy
    • Theory and Logic
  • PhD
    • Doctoral Program (FWF) Logical Methods in Computer Science
    • Doctoral Program MSCA Cofund LogiCS@TUWien
  • Master’s
    • Master in Logic and Computation
  • VCLA
    • Vienna Center for Logic and Algorithms
  • Talks/News
  • Partners
    • Faculty of Informatics
    • Cyberphysical Systems Group
    • Computer Languages Group
    • Computational Logic Group
    • Kurt Gödel Society
    • Logic in Austria
    • National Research Network RiSE
  • Contact
  • Search

Alexander Leitsch

Professor at the Institute of Computer Languages
  • Head of the Theory and Logic Group.

Homepage
Publications

Research Interests
automated deduction, proof theory

Data Protection Statement
Georg Weissenbacher Gernot Salzer
Scroll to top