ÖA
Ömer Ağacan
Software Engineer at Runtime Verification
View Ömer's Contact Info for Free. Sign Up and Get 50 Free Contacts Per Month.Get Started for Free
Work Experience
Software Engineer
Sep 2014 - Present · 10 years and 3 months
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 AddressÖ**@runtimeverification.comReveal Email
- Phone Number(xxx)xxx-xxxxReveal Phone
Find verified contacts of Ömer Ağacan 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.