Jon Barwise and John Etchmendy are internationally known for their contributions to mathematical and philosophical logic, as well as for their pioneering work in the use of computers to enhance learning in logic, for which they were awarded the 1997 Educom Medal. The late Jon Barwise was College of Arts and Sciences Professor of Philosophy, Mathematics, and Computer Science at Indiana University. John Etchemendy was chairman of the Department of Philosophy at Stanford, and is currently provost of that university. Each has served as director of the Center for the Study of Language and Information at Stanford University. Barwise and Etchemendy are also the authors of Language of First-order Logic (1993, CSLI).
About the LPL TeamLanguage, Proof and Logic was conceived by Jon Barwise and John Etchemendy. Dave Barker-Plummer manages the project at Stanford University. Gerard Allwein and Albert Liu were the lead programmers on the project. Brad Dolin, Rachel Farber, Thomas S. Robertson, Alex E-Choon Lau and Rick Sanders contributed code. Nik Swoboda created and maintains the Linux packages.
