Authors’ Biographies

MICHAEL GENESERETH

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. He is best known for his research on Computational Logic and its applications. He has been teaching Logic to Stanford students and others for more than 20 years. He is the current director of the Logic Group at Stanford and founder and research director of CodeX (The Stanford Center for Legal Informatics).

ERIC KAO

Eric Kao is a Ph.D. candidate in the Computer Science Department at Stanford University. He holds a B.Math in Computer Science and Pure Mathematics from the University of Waterloo. His research centers on inconsistency-tolerant logic and its applications in data management. He has helped design and teach several logic courses.