Инженер по верификации в НИЛ ЭСК НИУ МИЭТ. Соавтор Школы синтеза цифровых схем. Создатель Telegram-канала Verification For All.