Professor Emeritus at Carnegie Mellon University, School of Computer Science. Working on AI research since 1969, mostly focusing on symbolic, knowledge-based approaches. Plus some work on early artificial neural nets. Fellow of AAAI.