Dave Barker-Plummer is a Senior Research Scientist at Stanford University's Center for the Study of Language and Information. He holds a Ph.D. from the Department of Artificial Intelligence at Edinburgh University. Since 1995 he has managed the Openproof project's work on educational software for teaching logic at the undergraduate level.  He is the author of papers on automated reasoning, reasoning with diagrams, and architectures for heterogeneous reasoning.  He recently co-edited the collection Words, Proofs and Diagrams.  He has taught computer science and logic at Stanford, Swarthmore College and Duke University. Dave is increasingly concerned about the number of his colleagues who go on to work for the military, or worse. In his spare time Dave indulges his rock-star fantasies with PAN!C.

John Etchemendy is a professor of philosophy and symbolic systems at Stanford University.

Albert Liu is a Senior Software Developer at CSLI.

Michael Murray is a Software Developer at CSLI.

Dr. Richard Cox is a Reader in Computer Science and Artificial Intelligence in the Department of Informatics at the University of Sussex. He co-founded the Representation and Cognition Research Group and directs the Applied Cognition laboratory. His background is in psychology, education, and AI in education. He obtained his PhD in A.I. from the University of Edinburgh and maintains links with Edinburgh as an Honorary Fellow in the School of Informatics. Richard research interests lie in the areas of cognitive education, human reasoning, diagrammatic reasoning, and individual differences. He has published over 30 journal papers and book chapters, and over 60 refereed conference papers in the areas of cognitive science, education, psychology and informatics.

Dr. Robert Dale is a Professor in the Department of Computing in the Division of Information and Communication Sciences at Macquarie University. His current research interests centre around intelligent text processing, natural language generation, and spoken language dialogue systems. He is also a member of the executive committee of the Association for Computational Linguistics, and a member of the Conference Co-ordinating Committee of the Asian Federation of Natural Language Processing. He writes a semi-regular column in the Journal of Natural Language Engineering called Industry Watch.

Robert Dale is author or editor of seven books and over 90 papers in various aspects of natural language processing. His current research interests include low-cost approaches to intelligent text processing tasks; practical natural language generation; the engineering of habitable spoken language dialog systems; and computational, philosophical and linguistic issues in reference and anaphora. He is editor of Computational Linguistics, the field's most prestigious journal, and has been Program Chair for conferences of both the Association for Computational Linguistics and the International Conference on Spoken Language Processing, the two premier events in the field; he was the Local Organising Committee Chair for the Coling/ACL 2006 conference, held in Sydney.

Dr. Nik Swoboda is currently a Ramón y Cajal Research Professor at the Universidad Politécnica de Madrid.  He received his undergraduate degree from Haverford College, and then completed a MS and Ph.D. in Computer Science at Indiana University.  His main research interest is in diagrammatic reasoning and the nature of non-sentential representation systems. He also collaborates in cognitive science research studying the use of graphical representations in communication. In his spare time he enjoys taking day hikes, traveling, and eating tasty Japanese and Spanish food.  He dreams of the day when he can forsake computers and spend his days sailing and fishing, but in the meantime, he utilizes his imagination to enjoy the world of sailing in sea adventure novels.

Dr. Gerard Allwein is currently at the Naval Research Laboratory in Washingon, D.C., USA. His undergraduate is from Purdue University and holds graduate degrees from Indiana University. Upon graduation, he served as the Visual Inference Laboratory's Assistant Director under Jon Barwise. Dr. Allwein works primarily in mathematical aspects of logic and information. His current interests are defining relationships among mathematical modeling paradigms, diagrammatic reasoning, algebraic logic, and information hiding. His Siamese co-investigators are Tinkerbell and Ariel.

The late Jon Barwise was a professor of philosophy, mathematics, and computer science at Indiana University in Bloomington.

Anne Bracy is currently a PhD Candidate in the Computer and Information Science department at the University of Pennsylvania. Her area is computer architecture with a focus on performance improvement and design simplification of superscalar processors.  Prior to her arrival at Penn, Anne was a student at Stanford University, where she received a BA in German Studies, a BS in Symbolic Systems, and an MS in Computer Science. Anne worked at Openproof from 1996-1998, developing tools for diagrammatic reasoning with Venn diagrams. Later, she worked on a semantic grammar for a multi-modal dialogue system at the the Computational Semantics Laboratory, also at CSLI.

Brad Dolin was last seen on a Fulbright scholarship in Spain.

Matthew J. Falkenhagen is an undergraduate at Stanford.

Rachel Farber was last seen working for Microsoft.

Mark Greaves currently serves as Program Manager for DARPA's UltraLog and DAML Projects.  He was previously Director of DARPA's Joint Logistics Technology Office and Program Manager for DARPA's Advanced Logistics Project.  At DARPA, Mark is responsible for pursuing aggressive development of advanced information technology that will cause a fundamental change in the way military planning and operations are conducted today. In particular, he is working on the application of autonomous agent technology to problems of information systems survivability and the control of complex systems-of-systems, and he leads DARPA's effort in the creation of logic languages for the Web (that is, Semantic Web technology).  Prior to coming to DARPA in 2001, Mark led advanced programs in software agent technology at the Mathematics and Computing Technology group of Boeing Phantom Works, the research division of the Boeing Co.

Thomas S. Robertson graduated from Stanford in 2000 with a B.S. in Symbolic Systems.  He worked at HighWire Press for about a year and a half before switching to LOCKSS where he is currently the Assistant Director and Technical Manager.

Sara Tahir was last seen working for Microsoft.