David Warren, Ph.D.

David is a world-renowned computer scientist in the field of Logic Programming, a former Chairman of the Stony Brook University Computer Science Department (1996-1999), and a Fellow of the ACM. David’s work and research have centered on a variety of topics in the field of logic programming, and he has spent much of his career focusing on the design and development of the open source XSB logic programming system. David has authored more than 100 technical papers that have been published in major conferences and journals on topics relating to logic programming and is a named inventor on several patents. He has served as the Principal Investigator on multiple research grants from a variety of government agencies, including DARPA and NSF.