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