Марат Зимнуров

Руководитель группы разработки в AvitoTech, преподаватель искусственного интеллекта в ИТМО и ассистент кафедры ИТиЦЭ ИГХТУ.

За 10 лет прошел путь от full-stack-разработчика до руководителя команд, но так и не перестал писать код, разбирать архитектуру и проводить инженерные эксперименты.

Автор научных работ, образовательных и open-source-проектов, спикер HolyJS и CodeFest. Исследую функциональное программирование, LLM и формальные способы объяснить машине, что правдоподобный код — еще не обязательно рабочий.

Убежден, что все вокруг — функция. Теперь пытаюсь доказать это формально.