Michael Genesereth

Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Computational Law, and General Game Playing. He is one of the founders of Teknowledge, CommerceNet, Mergent Systems, and Symbium. Genesereth is the director of the Logic Group at Stanford and the founder and research director of CodeX - the Stanford Center for Legal Informatics.