Михаил Костицын

Ведущий разработчик в компании Veai.

Семь лет в разработке, из них значительную часть занимался статическим анализом программ и формальной верификацией.

С 2023 года и по сей день занимаюсь разработкой ИИ-агентов.