Robert B. Jones

Principal Researcher, Amazon Web Services, Amazon

  • Joined January 2026

Names

Robert B. Jones (Preferred)

Emails

****@amazon.com (Confirmed)
,
****@gmail.com (Confirmed)
,
****@ichips.intel.com
,
****@intel.com

Personal Links

Career & Education History

Principal Researcher
Amazon Web Services, Amazon (amazon.com)
2021 – Present
 
Principal Researcher
Strategic CAD Labs and Additional, Intel (intel.com)
1995 – 2021
 
PhD student
Electrical Engineering, Stanford University (stanford.edu)
1993 – 1999
 
Undergrad student
Electrical Engineering, Brigham Young University (byu.edu)
1987 – 1993
 

Advisors, Relations & Conflicts

No relations added

Expertise

automated reasoning
1993 – Present
 
formal verification
1990 – Present
 
hardware verification
1990 – Present