PM
Patrick Mac Kay
Chief Operating Officer at Runtime Verification
View Patrick's Contact Info for Free. Sign Up and Get 50 Free Contacts Per Month.Get Started for Free
Work Experience
Chief Operating Officer
Present
Company Details
11-50 Employees
Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Year Founded
2010
Social Media
LinkedinFacebookTwitter
Industry
Software Development
HQ Location
333 N Green St
Chicago, Illinois 60607, US
Keywords
BlockchaiSmart Contract ReviewBlockchain SecurityCode ReviewFormal ModelingFormal VerificatioLanguage DesigSecurity Audit Report
Contact Details
- Email AddressP**@runtimeverification.comReveal Email
- Phone Number(xxx)xxx-xxxxReveal Phone
Find verified contacts of Patrick Mac Kay in seconds from 700M people profiles. Start now!
Continue with GoogleNo Credit Card Needed. By signing up, you understand and agree to Futern's Terms and Policy.