Pruvendo
Computer And Network Security
Dubai, Dubayy, United Arab Emirates
8 employees
- Employees
- 8
- Contacts
- 2
- Emails
- 2
Pruvendo Overview
- Headquarters
- Dubai, Dubayy, United Arab Emirates
- Website
- pruvendo.com
- Industry
- Computer And Network Security
- Employees
- 8
About 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
Pruvendo Contact Details
- People in AeroLeads
- 4
- With contact data
- 2
- Email contacts
- 2
- 50.0% coverage
Pruvendo Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Alexey Trilis | Team Lead at Pruvendo | Yerevan, Armenia |
View
|
| Dmitry Malyugin | Co-founder at Everx, Pruvendo | Russia, Russian Federation |
Email
|
| Sergey Egorov | Yerevan, Armenia |
Email
|
|
| Andrey Lyashin | Co-founder & CTO @ Pruvendo - Formal |
View
|
Employees by Management Level
Executive
2 profiles
Senior / Lead
1 profile
Compare Similar Companies to Pruvendo
ANY.RUN
Computer And Network Security
ORYXLABS
Computer And Network Security
JATDEV Middle East
Computer And Network Security
Nashid
Technology, Information And Internet
Stitchain
Nanotechnology Research
Uqoud
Software Development
T4TRUST
Technology, Information And Internet
Crowdfense
Computer And Network Security
Hiving Technology
It Services And It Consulting
COMPLYAN
Computer And Network Security