Runtime Verification Inc

Runtime Verification Inc

We apply formal methods to improve the safety, reliability, and correctness of computing systems.

About Runtime Verification Inc

Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

Team

Musab Alturki
Senior Research Engineer
Melissa Baber
Operations Manager
Samuel Balco
Haskell Engineer
Silvia Barredo
Marketing Manager
Jost Berthold
Haskell Engineer
Christiano Braga
Semantics Lead
Mihai Calancea
Formal Verification Engineer
Aellison Cassimiro
Formal Verification Engineer
Minas Charalambides
Research Engineer
Bruce Collie
Compiler Engineer
Juan Conejero
Formal Verification Engineer
Philip Daian
Security Advisor
Denisa Diaconescu
Formal Verification Engineer
Vasil Diadov
Formal Verification Engineer
Xinshu Dong
Board Member
Adam Fiedler
Research Engineer
Dwight Guth
CIO
Everett Hildenbrandt
CTO
Rikard Hjort
Senior Verification Engineer
Qian Hu
Formal Verification Engineer

Participation in events

20 Apr 2024
runtimeverification.com