FinProof – конструктор финтех сервисов (HSE{Inc}Party Summer 2016, Moscow)

Transcript

1. Конструктор ФинТех сервисов Андрей Ляшин Party, Москва, 24 августа 2016 FinProof
2. KCG - $440M 2012
3. Ошибки в ПО $59.5B 2002
4. 26% в 2014 40% в 2018 35% в 2015
5. Неуверенность Риски Раздражение
6. Тестирование ТЗ (=спецификация) Разработка Процесс разработки ПО + Доказательство
7. Ошибки Доказательство
8. Math inside Bugs
9. 1998. Paris Métro Line 14 2012. NYC Subway L Line 1990. Lockheed Martin Hercules
10. £1m инвестиций от KRW Schindler в посевном раунде в 2016 году FinTech Transportation Aerospace Более 20 лет использования формальных методов
11. Торговые роботы Интернет банкинг WWW Страхование Обмен валют Биржевая торговля Эквайринг
12. 1 год 6 мес. 2 мес. 1-й тех. результат Прототип Платформа $0.2M $0.6M $1.5M
13. Андрей Ляшин, al@finproof.io Роль: Идеолог, научный консультант Формализация блокчейн систем, искусственный интеллект, робототехника Сергей Казенюк, sk@finproof.io Роль: Технический лидер, архитектор продукта. Исследователь в области теории языков программирования, разработчик финансовых и блокчейн систем. Сергей Егоров, se@finproof.io Роль: Операционный директор Руководитель отдела QA в Oracle Inc., руководитель отдела разработки банковских IT продуктов
14. Разработчики Бизнес Регуляторы
15. Спасибо web: finproof.io e-mail: team@finproof.io tel.: +7 (921) 372-04-28