Ndea operates an AI research lab that builds custom AI systems combining pattern recognition and formal reasoning to solve complex scientific and business problems.