Robert B. Jones (Preferred)
Robert B. Jones
Principal Researcher, Amazon Web Services, Amazon
Joined
January 2026
Names
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
Expertise
automated reasoning
1993 – Present
formal verification
1990 – Present
hardware verification
1990 – Present
Publications
No publications