Senior Principal Engineer
CurrentComputer Science Laboratory (CSL). Co-principal investigator for the Sunflower technology that was developed to support automated reasoning applications. Sunflower can be applied to a broad variety of domains, and is especially well suited where there is need to reason about complex data and problems with a lot of interacting constraints and where there is a need to integrate heterogeneous knowledge.Sunflower is an integrated development environment (IDE) for ontologies, rules, and reasoning (i.e., Semantic Technology) that is built on top of the representation language and reasoner Flora-2 and implemented in Eclipse. Sunflower provides a tightly integrated and synchronized suite of tools for ontology and rule understanding, editing, and validation. The tools include editors, search capabilities, graph views and query user interfaces. Sunflower also includes a reasoning engine that does not just give yes or no answers, but can provide explanations in English language and supports reasoning about hard and soft constraints and can rank solutions. Sunflower can be deployed as stand-alone system or along with existing systems as part of enterprise-level applications or client/server architectures via its Web API.Applications include financial regulatory compliance, interoperability among heterogeneous systems, systems acquisition, and synthesis of new products from existing subsystems.
