Upgrade to Pro — share decks privately, control downloads, hide ads and more …

FinProof – enterprise-решение для безошибочного программирования (HSE{Inc}Demo Day 2016, Moscow)

FinProof Team
September 05, 2016

FinProof – enterprise-решение для безошибочного программирования (HSE{Inc}Demo Day 2016, Moscow)

FinProof Team

September 05, 2016
Tweet

More Decks by FinProof Team

Other Decks in Business

Transcript

  1. Торговые роботы Производители ПО Проводится пилот с банком из TOP-20

    Платежные Системы Банки 5 4 3 3 Нами уже интересуются
  2. £1m инвестиций от KRW Schindler в посевном раунде в 2016

    году FinTech Transportation Aerospace Более 20 лет использования формальных методов
  3. Андрей Ляшин, [email protected] Роль: Идеолог, научный консультант Формализация блокчейн систем,

    искусственный интеллект, робототехника Сергей Казенюк, [email protected] Роль: Технический лидер, архитектор продукта. Исследователь в области теории языков программирования, разработчик финансовых и блокчейн систем. Сергей Егоров, [email protected] Роль: Менеджер проекта Руководитель отдела QA в Oracle Inc., руководитель отдела разработки банковских IT продуктов