FinProof – Enterprise-grade solution for bug-free financial software development (Startup Sauna Local Event, Moscow)

Transcript

1. FinProof Enterprise-grade solution for bug-free financial software development
2. Problem QA: 35% of IT budget, and rapidly increasing Software defects mitigation: $59.5B Notable failures: • KCG: -$440M in 2012 • The DAO: -$50M in 2016
3. Testing Proving
4. Product Development tools Systems integration Libraries and components Specification tools
5. Pythagorean theorem Testing Proving Checked for this one. True Haven’t you forget to check this one? a2 + b2 = c2 Checked for this one. True Checked for this one. True
6. Business Model Financial Institutions • Per-server licensing • Outsourcing and consulting services Developers • Free development license • Paid consulting services • Paid training programs
7. Market $2-3M $50M
8. Landscape / Competitors FinTech Transportation & Aerospace ≥ 20 years of formal methods usage in the industry £1m in a seed round by KRW Schindler in 2016
9. Team Andrey Lyashin, al@finproof.io Founder, evangelist, scientific advisor Blockchain systems formalization, certified programming evangelist, artificial intelligence, robotics. Sergey Kazenyuk, sk@finproof.io CTO, product architect, lead developer Programming language theory and certified programming researcher; financial and blockchain products developer; Bitcoin, Monero cryptocurrency project contributor; former Intel employee. Sergey Egorov, se@finproof.io CEO Banking IT-products development managing director, former QA department director at Oracle/Sun Microsystems.
10. Progress A lot of interest from: • Banks, 5 • Payment processors, 4 • Trading robots developers, 3 • Software vendors, 3 Pilot project with Top-20 Russian bank
11. Thank you https://finproof.io/ e-mail: team@finproof.io tel.: +7 (921) 372-04-28