City: Saint Petersburg Novosibirsk Kazan Language: Русский English

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

Zilliqa Research

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

Course Offerings

Course Semester
Introduction to Formal Verification spring 2021
Introduction to Coq autumn 2019

Photos

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