Полиномиальная вычислимость, формальная семантика, теоремы о неподвижной точке — фундамент моей собственной научной программы.
Формальные методы + LLM: верификационные каркасы, проверка цитат и что нужно, чтобы доверять модели в продакшене.
Задачные когнитивные архитектуры, протоколы координации и агентные экономики — линия работ IEEE Access.
Агентная симуляция городов, управление цифровыми двойниками и civic intelligence.
Аксиоматизация блокчейн-систем, проверяемые записи и многослойные архитектуры знаний.