Михаил Мурунов

Уже несколько лет занимаюсь одним и тем же — заставляю системы работать надежнее. Днем отвечаю за надежность платежной платформы на Temporal в Т-Банке, а вечером родился эксперимент — система, которая сама находит баги в сложных программах, таких как Scala-компилятор, Verilog (разные его реализации), TON (TVM) и в наших любимых QA-инструментах.

Люблю проверять на прочность инструменты, которые сами должны проверять нас, и смотреть, где формальные методы реально работают без присущей им боли. А еще уверен: самый важный навык прямо сейчас — критическое мышление, чтобы агенты не могли тебя обмануть.