Sign in

Michael Genesereth

American computer scientist

Michael Genesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School.2

From Wikipedia’s article on Michael Genesereth (this version), CC BY-SA 4.0.

Born Oct 15, 1948.1

About

His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

From Wikipedia’s article on Michael Genesereth, shared under CC BY-SA 4.0.2

Companies

Early life and education

  • Date not recordedHarvard University3

Education

Genesereth received a B.S. in Physics (1972) from Massachusetts Institute of Technology, and both an M.S. (1974) and Ph.D. (1978) in Applied Mathematics from Harvard University. As a graduate student, he worked on the Macsyma computer algebra system and wrote his dissertation on an automated advisor for Macsyma users.

Logic education

In 2016, Genesereth launched an effort to bring logic education to high schools across America citing Herbrand semantics as the foundation of the pedagogical approach. The program includes summer camps for high school students offered on the Stanford campus, and teacher professional development offered across different studies in the USA. The high school offerings utilize the same course material as a MOOC on the same topic.

Genesereth is also the Academic Director of The International Logic Olympiad. The Olympiad, which started in 2024, is a worldwide competition in logical reasoning and problem-solving for secondary school students. In its first year, more than

3500 students from 2100 schools in 92 countries participated in the contest.

From Wikipedia’s article on Michael Genesereth (this version), CC BY-SA 4.0.

Career

Occupation: academic, computer scientist, university teacher.5 7

Genesereth has been a faculty member in the computer science department at Stanford University since 1979. He is the director of the Logic Group at Stanford and a founder and the research director of the Stanford CodeX Center for Legal Informatics. He is one of the founders of the companies Teknowledge, CommerceNet, Mergent Systems, SIPX and Symbium. Symbium is the most recent spinoff from the computational law research undertaken by CodeX and is a winner of the Ivory Innovation Prize for Policy and Regulatory Reform.

From Wikipedia’s article on Michael Genesereth (this version), CC BY-SA 4.0.

Personal life

  • CitizenshipUnited States8

Awards

  • 1990AAAI Fellow9 10

Sources

The numbers on this page point here. Each one links to the record it came from.

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12