Leadership Team

Doug Lenat (President and CEO)
President and CEO

Dr. Douglas B. Lenat is one of the world's leading computer scientists, and is the founder of the Cyc project and president of Cycorp.

Dr. Lenat has been a Professor of Computer Science at Carnegie-Mellon University and Stanford University and has received numerous honors including:

  • Awarded the bi-annual IJCAI Computers and Thought Award which is the highest honor in Artificial Intelligence;
  • Named the first Fellow of the AAAI, the Association for the Advancement of Artificial Intelligence.
  • Fellow of the American Academy for the Advancement of Science (AAAS)

He is a prolific author, whose hundreds of publications include the following books:

  • Knowledge Based Systems in Artificial Intelligence (1982, McGraw-Hill)
  • Building Expert Systems (1983, Addison-Wesley)
  • Knowledge Representation (1988, Addison-Wesley)
  • Building Large Knowledge Based Systems (1989, Addison-Wesley)

His 1976 Stanford thesis earned him the bi-annual IJCAI Computers and Thought Award in 1977.

Dr. Lenat received his Ph.D. in computer science from Stanford University and his BA and MS in Mathematics from the University of Pennsylvania.

Michael Witbrock (Vice President of Research)
Vice President of Research

Michael has a PhD in Computer Science from Carnegie Mellon University, and currently is Vice President for Research at Cycorp. Before joining Cycorp, in 2001, to direct its knowledge formation and dialogue processing efforts, he had been Principal Scientist at Terra Lycos, working on integrating statistical and knowledge based approaches to understanding web user behavior, a research scientist at Just Systems Pittsburgh Research Center, working on statistical summarization, and a systems scientist at Carnegie Mellon on the Informedia spoken document information retrieval project. He also performed dissertation work in the area of speaker modeling. He is author of numerous publications in areas ranging across neural networks, parallel computer architecture, multimedia information retrieval, web browser design, genetic design, computational linguistics and speech recognition. A few relevant publications include:

  1. Witbrock, Michael., Baxter, David., Curtis, Jon., et al, “An Interactive Dialogue System for Knowledge Acquisition in Cyc” in Proceedings of the IJCAI-2003 Workshop on Mixed-Initiative Intelligent Systems, Acapulco, Aug 9, 2003.
  2. O’Hara, Tom., Witbrock, Michael., Aldag, Bjorn., Bertolo, Stefano., Salay, Nancy., Curtis, Jon., and Panton, Kathy “Inducing Criteria of Lexicalization of Parts of Speech using the Cyc KB” in Proceedings of IJCAI-03, Acapulco August 12-15, 2003.
  3. Mittal, Vibhu O. and Witbrock, Michael J. “Language Modeling Experiments in Non-Extractive Summarization”, Chapter 10 in Croft, W. Bruce and Lafferty, John “Language Modeling for Information Retrieval”, Kluwer Academic Publishers, Dordrect, 2003.
  4. Banko, Michele, Mittal, Vibhu O., and Witbrock, Michael J., “Headline Generation Based on Statistical Translation” in ACL-2000, Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics, Hong Kong, Oct 3-6, 2000.
  5. Witbrock, M.J., and Mittal, V.O., Ultra-Summarization: A Statistical Approach to Generating Highly Condensed Non-Extractive Summaries., in SIGIR’99, Proceedings of the 22nd International Conference on Research and Development in Information Retrieval, Berkeley, CA, Aug 15-19, 1999.
Mary Shepherd (Senior Vice President of Operations)
Senior Vice President of Operations

Ms. Mary Shepherd is the Senior VP for Operations. Mary has been with the Cyc project since its inception at MCC in 1984 and is responsible for Cycorp's financial, personnel, facilities, and operations functions.