Шишкин Евгений

Специалист в области разработки ПО
Большой опыт разработки распределенных систем и проведения исследований в следующих областях: функциональное/реактивное/логическое программирование, формальная верификация, формальные языки, системы механического и автоматического доказательства теорем, распределенные системы управления, блокчейн. Опыт работы с различными языками программирования и фреймворками, на низком и высоком уровнях.

Ключевые области знаний:

Навыки программирования:
Языки: C/C++, Erlang, Python, Bash, Prolog, Solidity
Логические фреймворки: Coq, Z3, TLA+, mCRL2
Пользователь только что записался на курс ""
Спасибо!
Форма отправлена успешно.