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

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

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

Навыки программирования:
Языки: C/C++, Erlang, Python, Bash, Prolog, Solidity
Логические фреймворки: Coq, Z3, TLA+, mCRL2
Оценка и обучение ИТ-специалистов по ключевым направлениям разработки программного обеспечения. Курсы от экспертов-практиков по языкам программирования, системному и бизнес-анализу, управлению проектами, тестированию ПО, архитектуре ПО. Luxoft Training – единственный учебный центр в России, авторизованный IIBA. Действует скидка 10% на обучение физических лиц.
   Подпишись на ежемесячный DigestLT
Успешная форма подписки.
Пользователь только что записался на курс ""
Спасибо!
Форма отправлена успешно.