Jin Lim

Formal Verification Engineer @ Runtime Verification Inc. at Runtime Verification Inc - Chicago, Illinois, US

Jin Lim's Colleagues at Runtime Verification Inc
Mircea Sebe

Formal Systems Engineer

Contact Mircea Sebe

Patrick MBA

Chief Operating Officer

Contact Patrick MBA

Patrick MacKay

Chief Operating Officer

Contact Patrick MacKay

Bogdan Stanciu

Chief Product Officer

Contact Bogdan Stanciu

Ilja Zakharov

Verification Engineer

Contact Ilja Zakharov

Burak Yalcinkaya

MSc Student

Contact Burak Yalcinkaya

View All Jin Lim's Colleagues
Jin Lim's Contact Details
Email (Verified)
***@runtimeverification.com
Get Jin Lim's Email Address
Mobile Number
(XXX) XXX-XXXX
Get Jin Lim's Mobile Number
HQ
(617) 648-9100
Location
Singapore
Company
Runtime Verification Inc
Jin Lim'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 Jin Lim
Jin Lim currently works for Runtime Verification Inc.
Jin Lim's role at Runtime Verification Inc is Formal Verification Engineer @ Runtime Verification Inc..
Jin Lim's email address is ***@runtimeverification.com. To view Jin Lim's full email address, please signup to ConnectPlex.
Jin Lim works in the Software industry.
Jin Lim's colleagues at Runtime Verification Inc are Mircea Sebe, Patrick MBA, Patrick MacKay, Bogdan Stanciu, Ilja Zakharov, Burak Yalcinkaya and others.
Jin Lim's phone number is (617) 648-9100
See more information about Jin Lim