Richard Ford
Senior Compiler Engineer at Lemurian Labs
Based in Chattanooga, United States
7-day free trial · no credit card
Seniority
Staff
Department
Engineering
Location
Chattanooga
Industry
Technology; Information and Internet
Company size
37
Contact information
Reveal Richard's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
r•••••••@lemurianlabs.com
Phone
5 credits+1 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Richard Ford
Formal Methods Engineer with experience using Coq, Dafny, the Verified Software Toolchain, and Concurrent Separation Logic. Other technologies studied include Iris, Isabelle/HOL, Frama-C, Boogie, Why3, F*, LEAN. Former experience as Compiler and Tools Software Engineer with primary experience in optimization (high level and machine level).
Decision-makers
Other people at Lemurian Labs
- JDOther
Jay Dawani
Co-founder & CEO · Other
- TZStaff
Tongqi Zhu
Compiler Engineer · Information Technology
- CFDirector
Christopher F Clark
Principal Compiler Engineer · Information Technology
- JSStaff
Justin Squirek
Senior Software Engineer · Information Technology
- AKOther
Anthony Kostal-Vazquez
Staff Machine Learning Performance Engineer · Other
Build a list of verified contacts at Lemurian Labs
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Richard
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime