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

Gernot Salzer

Associate Professor at the Institute of Computer Languages
  • Member of the “Betriebsrats für das wissenschaftliche Personal der TU Wien“.

Homepage
Publications

Research Interests
constraint satisfaction problems, application of formal methods in somputer science, proof theory of many-valued logics, unification theory

Data Protection Statement
Alexander Leitsch Chris Fermüller
Scroll to top