A former Google Search engineer recruited to co-found Glean and build enterprise search infrastructure.