Michael Genesereth

Michael Genesereth is an associate professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School.1 Here are some key points about his background and work:

Education and Career

• He received his Sc.B. in Physics from MIT and his Ph.D. in Applied Mathematics from Harvard University.1
• Genesereth has been a faculty member at Stanford University since 1979.4

Research and Expertise

• He is most known for his work on Computational Logic and its applications in areas like:

  • Enterprise Management
  • Computational Law
  • General Game Playing23

• Genesereth is the director of the Logic Group at Stanford and the founder and research director of CodeX - the Stanford Center for Legal Informatics.23

Entrepreneurship

He has been involved in founding several companies, including:

• Teknowledge
• CommerceNet
• Mergent Systems
• Symbium24

Publications and Contributions

• Genesereth co-authored the influential textbook "Logical Foundations of Artificial Intelligence" in 1987.4
• He developed the Game Description Language (GDL) and Knowledge Interchange Format (KIF).4

Recent Initiatives

Genesereth has been working to promote logic education in high schools:

• He launched an effort in 2016 to bring logic education to high schools across America.4
• Recently, he initiated the International Logic Olympiad, a worldwide contest for secondary school students to showcase excellence in logic and problem-solving.5

Michael Genesereth's work spans multiple disciplines, combining computer science, logic, and law to advance fields like artificial intelligence and computational law.