Close mobile menu

Author Image

Zbigniew Stachniak

Associate Professor


Electrical Engineering & Computer Science

Research Interests

  • Formal methods in Artificial Intelligence (Automated Reasoning, Knowledge Representation);
  • Symbolic Logic in Computer Science;
  • History of Computing; History of Logic;
  • Computational Logic and Knowledge Representation: methodology of automated reasoning and theorem proving systems, computer science and applied logics;
  • Logic Programming.