Pruvendo
Pruvendo is a startup, focused on development of the embedded domain specific language Ursus - programming language for the development of secured by design smart contracts and its formal verification. Our services: 1. Smart contracts development 2. Formal verification Our products: Ursus - Coq embedded dsl for smart contract development and formal verification Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analysing data and sending alerts in case of suspicious activity
7-day free trial · no credit card
Verified contacts
8
available on Kipplo
LinkedIn employees
10
11 to 50 range
Open roles
—
no listings
Distinct roles
5
indexed titles
Tech stack
2
tools in use
Monthly traffic
1
organic / mo
Sign up free to see all 8 verified contacts at Pruvendo
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
8 contacts with verified email or phone · masked until revealed.
- AL
Andrey Lyashin
Chief Technology Officer · Information Technology
EmailPhone - AL
Andrey Lyashin
Chief Technology Officer · Information Technology
EmailPhone
Showing 2 of 8 verified contacts
Top roles at Pruvendo
5 distinct titles indexed · top 5 shown.
- 2chief technology officer
- 2formal methods engineer
- 2team lead
- 1formal verification engineer
- 1mathematics specialist
Sign up to unlock all 8 contacts at Pruvendo
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 8 verified contacts at Pruvendo
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.