David Cox - Email & Phone Number

Haskell Engineer at Runtime Verification

David Cox is based out of Los Angeles, California, United States and works at Runtime Verification as Haskell Engineer.

David Cox's Contact Information

David Cox's Work email

d*****@runtim***.com

Valid

Latest update

October 12, 2025

Location

Los Angeles, California, United States

David's current employer

Runtime Verification

Description

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, a...

Website

runtimeverification.com

HQ Location

Urbana, IL - Illinois, United States

Number of employees

11-50

Industry

Software Development

Latest update

May 1, 2024

Read about Runtime Verification

Frequent questions about David Cox

What company is David Cox working for?

David Cox works for Runtime Verification.

What is David Cox's function at Runtime Verification?

David Cox is Haskell Engineer at Runtime Verification.

Where is David Cox based?

David Cox is based out of Los Angeles, California, United States.

What is David Cox's work email address?

David Cox's professional email address is d*****@runtim***.com

Who are David Cox's co-workers?

David Cox's colleagues are Ana Pantilie, Traian Serbanuta, Silvia Herrero, Rikard Hjort, Freeman Wenzl, Patrick MacKay.

David's co-workers

Haskell Team Lead

Traian Serbanuta

Marketing Manager

Senior Formal Verification Engineer

Senior Devops Engineer

Chief Operating Officer

Browse & Connect

Browse companies

Our company index contains hundreds of thousands of businesses.

a b c d e f g h i j k l m n o p q r s t u v w x y z

Wiza does not guarantee or claim any of the information found on this public directory to be 100% accurate or up to date.Information found here is gathered from a variety of online and offline sources.If you wish to exclude your personal data from this public directory please fill out the optout form.

Solutions

Resources

Company