Zbigniew Stachniak

Associate Professor

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.

Bio

Zbigniew received his Ph.D. in 1979 from the University of Wroclaw, Poland.

Selected Publications
Staff Information
Campus Address
Lassonde 3052B Department of Computer Science and Engineering York University 4700 Keele Str. Toronto, Ontario, M3J 1P3 Canada
Department
The Theory Group
The York University Computer Museum (YUCOM)
Stay in Touch