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

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

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

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