David S. Warren

David Scott Warren received his PhD in Computer Science from the University of Michigan in 1979. He then joined the faculty at the University at Stony Brook where he is currently Leading Professor of Computer Science. He was recently elected a Fellow of the ACM. He was chairman of the Stony Brook CS Department from 1996-1999. For the past eighteen years his research has centered around a variety of topics in the area of logic programming. For approximately ten years his focus has been the development of the XSB tabled logic programming system. Professor Warren has more than 70 publications, is co-author of a major book in Logic Programming implementations, and has advised 16 students who have completed their PhD degrees. He has been a leading Principal Investigator of three major multi-million dollar institutional infrastructure grants from NSF and numerous smaller grants. Professor Warren has been active in the logic programming community, serving on many conference program committees. He is a Past President of the Association for Logic Programming, an international professional organization of more than 500 members.

Current work includes a very early draft of a book on Programming in Tabled Prolog . Also available are the following:

• XSB research project.
• Draft Book: Programming in Tabled Prolog (postscript)
• Slides for Talk: Programming with Tables in XSB (postscript).
• General Papers on XSB
• General Papers on SLG
• Current Class (CSE-505 Computing with Logic).

Address:

Prof. David S. Warren
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400
USA

(Tel:) (516)632-8454
(Fax:) (516)632-8334