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

Transcript

1. Enterprise-решение для безошибочного программирования Андрей Ляшин Demo Day, Москва, 5 сентября 2016 FinProof
2. Разработчики Бизнес
3. KCG - $440M 2012
4. Тестирование Доказательство
5. Paris Métro Line 14 NYC Subway L Line Lockheed Martin Hercules
7. Средства разработки Средства задания спецификаций Средства интеграции Библиотеки и компоненты
8. Торговые роботы Интернет банкинг WWW Страхование Обмен валют Биржевая торговля Эквайринг
9. Торговые роботы Производители ПО Проводится пилот с банком из TOP-20 Платежные Системы Банки 5 4 3 3 Нами уже интересуются
10. Финансовые организации Разработчики Бесплатная лицензия Платное консультирование Платное обучение Платная подписка на каждый сервер Аутсорсинговые услуги
12. $2-3M в год $50M в год
13. £1m инвестиций от KRW Schindler в посевном раунде в 2016 году FinTech Transportation Aerospace Более 20 лет использования формальных методов
14. Андрей Ляшин, al@finproof.io Роль: Идеолог, научный консультант Формализация блокчейн систем, искусственный интеллект, робототехника Сергей Казенюк, sk@finproof.io Роль: Технический лидер, архитектор продукта. Исследователь в области теории языков программирования, разработчик финансовых и блокчейн систем. Сергей Егоров, se@finproof.io Роль: Менеджер проекта Руководитель отдела QA в Oracle Inc., руководитель отдела разработки банковских IT продуктов
15. Спасибо https://finproof.io/ e-mail: team@finproof.io tel.: +7 (921) 372-04-28