Верно: робот FEDOR. Употребительно также робот Фёдор.
По правилам не с глаголами всегда пишется раздельно, так что корректно только не быть. Однако логика Ваших рассуждений нам вполне понятна. Полагаем, что Вам любопытно будет прочитать статью М. Н. Эпштейна "Отрицание как утверждение. Интегральная модель написания не с глаголами и другими частями речи". https://www.emory.edu/INTELNET/dar312.htm