David Warren


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.

Executive Team

Rupert Hopkins
Founder & CEO

David Warren, Ph.D.
Co-Founder & Vice President of Sciences

Tanya Vidrevich
Chief Operating Officer

Richard Gill
Co-Founder & Treasurer

Daria Mathew
Vice President Operations

Stan Gregory
Chief Technology Officer