XSB
David Warren is a leading professor emeritus at Stony Brook University and serves as the Secretary for The Association for Logic Programming. David is also the Chief Scientist at XSB, Inc. David earned their PhD and MA in Computer and Communication Sciences from the University of Michigan.
This person is not in any offices
XSB
XSB delivers information insights for public sector procurement, supply chain management, and standards document automation.