Mike Genesereth is the director of the Stanford Logic Group, of Stanford University. He also has, in the past, been involved in standardization effort and definition of KIF ([[KnowledgeInterchangeFormat|Knowledge Interchange Format]]).