David S. Warren

Computer Science Department - David S. Warrent

Rank/Position Title:

Leading Professor

Home Page:

http://www.cs.sunysb.edu/~warren

Date of original appointment to this faculty, followed by dates and ranks of advancement:

  • 1979, Assistant Professor
  • 1984, Associate Professor with tenure
  • 1989, Professor
  • 1998, Leading Professor

Degrees:

Degree

Field

Institution

Date

Ph.D.

Computer Science

University of Michigan

1979

M.A.

Computer Science

University of Michigan

1974

B.S.

Mathematics

Antioch College

1969

Conferences, workshops, and professional development:

  • Attendee and Tutorial Speaker at Maine Higher Education Computing Conference, Bangor, Maine, 2002.
  • Attendee at workshop on Prolog in Education at ICLP 93, Budapest, Hungary, 1993.
  • Numerous international conferences and workshops in programming languages, databases, and logic programming.

Other related computing experience:

Senior Scientist at XSB, Inc., a startup company based on software I developed, doing knowledge management and data extraction. Varying around 1/2 time for the last 4 years. Major responsibilities include software design and management. I also have some minor sales and marketing responsibilities.

Department, college, and/or university committee membership:

Personnel Policy Committee.

Principal publications of the last five years.

More than 75 papers of the last 25 years. Add last 5 years worth.

Other scholarly activity: grants, sabbaticals, software development, etc.:

I have been the primary architect, manager and programmer for the XSB Tabled Logic Programming system. It is freely available at sourceforge.net and is widely used for a variety of purposes.

Scientific, professional, and honor societies of which you are a member:

ACM, IEEE Computer Society, Association for Logic Programming, AAAS, Sigma Xi.

Honors and awards:

Fellow of the ACM

Courses taught this and last academic year term-by-term

Year/Term

Course Number

Course Title

S05

CSE305

Principles of Database Systems

F04

CSE213

Foundations of CS II

S03

CSE307

Programming Languages

F02

CSE305

Data Base Systems

S02

CSE352

Artificial Intelligence

F01

CSE307

Programming languages

Academic advising: 0

Brief description of major research and scholarly activities:

  • This year I am on leave from the university. I would guess that I spend maybe 10-15% of my time on research and scholarly activities.
  • I do research on Tabled Logic Programming. I've coauthored two papers this past year, and served on 2 conference program committees. I am program chair for the ACM PPDP'04 conference.