Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Electronic Commerce, and Computational Law. He is one of the founders of Teknowledge, CommerceNet, and Mergent Systems. Genesereth is the current director of the Logic Group at Stanford and research director of CodeX (the Stanford Center for Computers and Law).
More info: http://logic.stanford.edu/people/genesereth/genesereth.html
Coursera
Embark on an enlightening journey into the world of logic with this introductory course designed for beginners. Gain a solid understanding of logical encoding, reasoning techniques, and the practical applications of logic in diverse areas such as mathematics, science, engineering, business, law, and more.