Runtime Vеrificatio
BlockchainCybersecurityPlatform
Runtime Verification Inc. is a startup company aimed at using runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. It is dedi...
🔥
👍
💩
Team members (9 of 13)
T
Traian Serbanuta
Consultant
Anton Savienko
Full Stack Engineer
A
Ana Pantilie
Haskell Team Lead
G
Grigore Rosu
President and CEO
J
Jed Taylor
Board of Advisors
M
Musab A. Alturki
Senior Research Engineer
P
Patrick Mackay
Chief Operating Officer
R
Radu Mereuta
Software Engineer
R
Rikard Hjort
Senior Formal Verification Engineer
Suggested Companies