Max Kopinsky

Haskell Engineer at Runtime Verification Inc - Chicago, Illinois, US

Max Kopinsky's Colleagues at Runtime Verification Inc
Lisandra Silva

Formal Verification Engineer

Contact Lisandra Silva

Tom Lindeman

Chief Strategy Officer (CSO)

Contact Tom Lindeman

Jan Tusil

Software Engineer (part time)

Contact Jan Tusil

Spencer Xiao

Software Engineering Manager

Contact Spencer Xiao

Yale Vinson

Senior Technical Product Manager

Contact Yale Vinson

View All Max Kopinsky's Colleagues
Max Kopinsky's Contact Details
HQ
(617) 648-9100
Location
Company
Runtime Verification Inc
Max Kopinsky'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 Max Kopinsky
Max Kopinsky currently works for Runtime Verification Inc.
Max Kopinsky's role at Runtime Verification Inc is Haskell Engineer.
Max Kopinsky's email address is ***@runtimeverification.com. To view Max Kopinsky's full email address, please signup to ConnectPlex.
Max Kopinsky works in the Software industry.
Max Kopinsky's colleagues at Runtime Verification Inc are Lisandra Silva, Silvia Herrero, Tom Lindeman, Jan Tusil, Spencer Xiao, Aellison Santos, Yale Vinson and others.
Max Kopinsky's phone number is (617) 648-9100
See more information about Max Kopinsky