Работаю инженером по формальной верификации в Zilliqa Research. Участник команды разработки Coq, состою в coq-community на GitHub, модерирую r/Coq и веду твиттер @CoqLang. Иногда читаю лекции по Coq.