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

Slide 1

Slide 1 text

Enterprise-решение для безошибочного программирования Андрей Ляшин Demo Day, Москва, 5 сентября 2016 FinProof

Slide 2

Slide 2 text

Разработчики Бизнес

Slide 3

Slide 3 text

KCG - $440M 2012

Slide 4

Slide 4 text

Тестирование Доказательство

Slide 5

Slide 5 text

Paris Métro Line 14 NYC Subway L Line Lockheed Martin Hercules

Slide 6

Slide 6 text

No content

Slide 7

Slide 7 text

Средства разработки Средства задания спецификаций Средства интеграции Библиотеки и компоненты

Slide 8

Slide 8 text

Торговые роботы Интернет банкинг WWW Страхование Обмен валют Биржевая торговля Эквайринг

Slide 9

Slide 9 text

Торговые роботы Производители ПО Проводится пилот с банком из TOP-20 Платежные Системы Банки 5 4 3 3 Нами уже интересуются

Slide 10

Slide 10 text

Финансовые организации Разработчики Бесплатная лицензия Платное консультирование Платное обучение Платная подписка на каждый сервер Аутсорсинговые услуги

Slide 11

Slide 11 text

No content

Slide 12

Slide 12 text

$2-3M в год $50M в год

Slide 13

Slide 13 text

£1m инвестиций от KRW Schindler в посевном раунде в 2016 году FinTech Transportation Aerospace Более 20 лет использования формальных методов

Slide 14

Slide 14 text

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

Slide 15

Slide 15 text

Спасибо https://finproof.io/ e-mail: [email protected] tel.: +7 (921) 372-04-28