Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Антон Александрович Трунов

Zilliqa Research

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

Прочтения курсов

Курс Семестр
Введение в язык формальной верификации Coq осень 2019

Фотографии