President
Applied Formal Methods
AeroLeads people directory · profile
Richard Ford Email & Phone Number
President
at
Applied Formal Methods
1 work email found
@stanford.edu
LinkedIn matched
✓ Verified August 2026
4 data sources
Profile completeness 100%
Current company
Role
President
Location
Greater Chattanooga, United States
Company size
Who is Richard Ford? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Richard Ford is listed as President at Applied Formal Methods, a with 3 employees, based in Greater Chattanooga, United States. AeroLeads shows a work email signal at stanford.edu and a matched LinkedIn profile for Richard Ford.
Richard Ford previously worked as Senior Compiler Engineer at Lemurian Labs and Senior Software Engineer at Microsoft. Richard Ford holds M.S., Ph.D., Physics from Stanford University.
Company email context
Email format at Applied Formal Methods
This section adds company-level context without repeating Richard Ford's masked contact details.
{first_initial}{last}@stanford.edu
86% confidence
AeroLeads found 1 current-domain work email signal for Richard Ford. Compare company email patterns before reaching out.
Profile bio
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).
Listed skills include Embedded Software, Compiler Construction, Distributed Systems, Software Design, and 31 others.
Current workplace
Richard Ford's current company
Company context helps verify the profile and gives searchers a useful next step.
Applied Formal Methods
17 roles · 50 years
Richard Ford work experience
A career timeline built from the work history available for this profile.
Senior Compiler Engineer
President
Applied Formal Methods
I'm applying formal methods to enable production of verified software.
Apr 2016 - Jun 2023
Senior Software Engineer
I worked on the LLILC project, an LLVM-based .Net compiler. Previously I worked on the Bartok compiler as part of the Midori tools team. My major contribution was implementing generic sharing that reduced the size of generic instantiation code by a factor of 3.
Feb 2008 - Mar 2016
Dec 2006 - Feb 2008
See Advanced Micro Devices
2006 - 2008
~2 yrs
Principal Software Engineer
Lead team adding XScale/Arm-targeted code generator to Intel compiler system. Worked on middle-end of retargetable compiler targeted to Intel's Micro-Signal-Architecture DSP chip.
Sep 2000 - Nov 2006
At Intel - Collaborated With Arm
Arm
When the XScale and ARM ABIs were being defined, I was the lead on this effort for Intel.
2001 - 2003
~2 yrs
Senior Principal Software Engineer
In collaboration with HP labs, maintain and enhance toolchain (assembler, linker, debugger, simulator) for embedded VLIW processor. Support verification of VLIW processor by linking software and hardware (verilog/vhdl) simulators.
Sep 1998 - Sep 2000
Software Consultant
Worked on following research projects: ANDF (Architecture Neutral Distribution Format), Formal methods project doing formal model of MK++ (C++ version of Mach) microkernel, Adage security model.
Jul 1992 - Jun 1998
Software Consultant
Implemented enhancements to parallelizing Fortran compiler for Vax.
Dec 1991 - Jun 1992
Software Consultant
Design and implementation of parallelizing compiler targetted to Multimax.
1989 - 1991
~2 yrs
Software Consultant
Architect and implement major redesigns and enhancements of compilers, linker, and debugger.
1982 - 1989
~7 yrs
Software Consultant
Chief Programmer for JOVIAL J73 compiler targeted to the MX flight computer.
1980 - 1982
~2 yrs
Principal Software Engineer
Design and implement assembler for microprogrammable DSP processor. Implement Pascal P-code to assembly translator for Vax (before DEC Pascal for Vax was available). Implement DSP systems based on FPS AP120 and DEC PDP-11.
1977 - 1980
~3 yrs
Staff Scientist
Used EGS (Electron Gamma Shower) code system to perform studies of high energy electromagnetic showers for NASA and other government studies.
Apr 1976 - Oct 1977
Post-Doctoral Research Associate
Design of "Crystal Ball" experiment at Stanford Linear Accelerator Center.
Jun 1975 - Apr 1976
Team & coworkers
Colleagues at Applied Formal Methods
Other employees you can reach at lemurianlabs.com. View company contacts for 3 employees →
BR
Benjamin R. Willis
Colleague at Applied Formal MethodsSanta Clara, California, United States
View →
AK
Anthony Kostal-Vazquez
Colleague at Applied Formal MethodsToronto, Ontario, Canada
View →
JH
Juwayriyah Hussain
Colleague at Applied Formal MethodsSan Francisco Bay Area, United States
View →
FK
Fran K.
Colleague at Applied Formal MethodsTunbridge, Vermont, United States
View →
DS
Dr. Skandha Deepsita S
Colleague at Applied Formal MethodsChennai, Tamil Nadu, India
View →
JB
John Brunhaver
Colleague at Applied Formal MethodsTempe, Arizona, United States
View →
DB
Davin Beharry
Colleague at Applied Formal MethodsToronto, Ontario, Canada
View →
PR
Pranav Rastogi
Colleague at Applied Formal MethodsMelbourne, Florida, United States
View →
CS
Carrie Segal
Colleague at Applied Formal MethodsGoleta, California, United States
View →
CV
Christopher Vick
Colleague at Applied Formal MethodsAustin, Texas Metropolitan Area, United States
View →
Benjamin R. Willis
Colleague at Applied Formal MethodsSanta Clara, California, United States
View →
AK
Anthony Kostal-Vazquez
Colleague at Applied Formal MethodsToronto, Ontario, Canada
View →
JH
Juwayriyah Hussain
Colleague at Applied Formal MethodsSan Francisco Bay Area, United States
View →
FK
Fran K.
Colleague at Applied Formal MethodsTunbridge, Vermont, United States
View →
DS
Dr. Skandha Deepsita S
Colleague at Applied Formal MethodsChennai, Tamil Nadu, India
View →
JB
John Brunhaver
Colleague at Applied Formal MethodsTempe, Arizona, United States
View →
DB
Davin Beharry
Colleague at Applied Formal MethodsToronto, Ontario, Canada
View →
PR
Pranav Rastogi
Colleague at Applied Formal MethodsMelbourne, Florida, United States
View →
CS
Carrie Segal
Colleague at Applied Formal MethodsGoleta, California, United States
View →
CV
Christopher Vick
Colleague at Applied Formal MethodsAustin, Texas Metropolitan Area, United States
View →
2 education records
Richard Ford education
M.S., Ph.D., Physics
B.S., Physics
FAQ
Frequently asked questions about Richard Ford
Quick answers generated from the profile data available on this page.
What company does Richard Ford work for?
Richard Ford works for Applied Formal Methods.
What is Richard Ford's role at Applied Formal Methods?
Richard Ford is listed as President at Applied Formal Methods.
What is Richard Ford's email address?
AeroLeads has found 1 work email signal at @stanford.edu for Richard Ford at Applied Formal Methods.
Where is Richard Ford based?
Richard Ford is based in Greater Chattanooga, United States while working with Applied Formal Methods.
What companies has Richard Ford worked for?
Richard Ford has worked for Applied Formal Methods, Lemurian Labs, Microsoft, Advanced Micro Devices, and Amd.
Who are Richard Ford's colleagues at Applied Formal Methods?
Richard Ford's colleagues at Applied Formal Methods include Benjamin R. Willis, Anthony Kostal-Vazquez, Juwayriyah Hussain, Fran K., and Dr. Skandha Deepsita S.
How can I contact Richard Ford?
You can use AeroLeads to view verified contact signals for Richard Ford at Applied Formal Methods, including work email, phone, and LinkedIn data when available.
What schools did Richard Ford attend?
Richard Ford holds M.S., Ph.D., Physics from Stanford University.
What skills is Richard Ford known for?
Richard Ford is listed with skills including Embedded Software, Compiler Construction, Distributed Systems, Software Design, Computer Architecture, Linux, Algorithms, and C.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Richard Ford you were looking for.
Richard Ford
1 email domain
Richard Ford
4 email domains
Richard Ford
5 email domains
Richard Ford
6 email domains
Richard Ford
1 email domain