Garuda.AI

Founded in 2018

CybersecurityBusiness (B2B)Security / Encryption TechBlockchain / CryptoServiceConsulting

Formal Verification and Analysis Service for Blockchain Solutions Our Team has over 20 years experience in industrial formal verification, algebraic modelling, cybersecurity, and model-base testing

🔥

👍

💩

Founded

2018

Employees

Funding

Team members (4 of 4)

A

Alexey Hodkov

Lead Developer

M

Maksym Poltorackiy

Researcher

V

Volodymyr Peschanenko

Leading Researcher

Y

Yuliia Tarasich

Suggested Companies