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