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