Patrick MBA

Chief Operating Officer at Runtime Verification Inc - Chicago, Illinois, US

Patrick MBA's Colleagues at Runtime Verification Inc
Jonathan West

Consultant

Contact Jonathan West

Bogdan S

Chief Product Officer

Contact Bogdan S

Max Kopinsky

Haskell Engineer

Contact Max Kopinsky

Lisandra Silva

Formal Verification Engineer

Contact Lisandra Silva

Silvia Herrero

Marketing Manager

Contact Silvia Herrero

Tom Lindeman

Chief Strategy Officer (CSO)

Contact Tom Lindeman

Jan Tusil

Software Engineer (part time)

Contact Jan Tusil

View All Patrick MBA's Colleagues
Patrick MBA's Contact Details
Email (Verified)
***@runtimeverification.com
Get Patrick MBA's Email Address
Mobile Number
(XXX) XXX-XXXX
Get Patrick MBA's Mobile Number
HQ
(617) 648-9100
Location
Company
Runtime Verification Inc
Patrick MBA's Company Details
Runtime Verification Inc logo, Runtime Verification Inc contact details

Runtime Verification Inc

Chicago, Illinois, US • 34 Employees
Software

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

Runtime verification Dynamic analysis Program validation and verification Programming languages Formal smart contract verification
Details about Runtime Verification Inc
Frequently Asked Questions about Patrick MBA
Patrick MBA currently works for Runtime Verification Inc.
Patrick MBA's role at Runtime Verification Inc is Chief Operating Officer.
Patrick MBA's email address is ***@runtimeverification.com. To view Patrick MBA's full email address, please signup to ConnectPlex.
Patrick MBA works in the Software industry.
Patrick MBA's colleagues at Runtime Verification Inc are Jonathan West, Bogdan S, Max Kopinsky, Lisandra Silva, Silvia Herrero, Tom Lindeman, Jan Tusil and others.
Patrick MBA's phone number is (617) 648-9100
See more information about Patrick MBA