Robert Dockins
Applied Scientist at Amazon Web Services (AWS) | Portland, Oregon, United States
Engage
candidates 10x faster
Enjoy unlimited access and discover candidates outside of LinkedIn
Trusted by 1.4M users from 76% of Fortune 500 companies
The most accurate data ever
CCPA Compliant
GDPR Compliant
150M
Personal Emails
200M
Work Emails
100M
Direct Dials
250M
Professional Profiles
40M
Company Profiles
Find anyone, anywhere
with ContactOut
today
Making remote or global hires?
Connecting
with key decision-makers? We can help.
- 40 emails / month
- 3 phone numbers / month
- Works on standard LinkedIn only
-
Work emails, personal emails,
mobile numbers
No credit card required
Robert Dockins is an accomplished Applied Scientist at Amazon Web Services (AWS), where he plays a pivotal role in advancing the reliability and safety of critical software systems. With a strong foundation in formal verification and automated reasoning, Robert is currently focused on program verification for low-level systems software, a crucial area that ensures the integrity and correctness of the underlying code that powers cloud infrastructure and services. His expertise in programming languages such as Rust, C, and Haskell, combined with his proficiency in theorem proving tools like Isabelle/HOL and Coq, allows him to tackle complex verification challenges that arise in modern software development.
At AWS, Robert is actively engaged in key projects that aim to enhance the robustness of software systems through rigorous verification methodologies. His work not only contributes to the reliability of AWS services but also sets a benchmark for best practices in the industry. By leveraging formal methods and logic, he seeks to develop innovative solutions that address the unique challenges posed by low-level programming, where errors can have significant downstream effects.
Robert's academic background enriches his professional endeavors, as he continuously draws from his research experiences to inform his practical applications. His passion for making software systems more reliable is evident in his collaborative efforts with cross-functional teams, where he advocates for the integration of formal verification techniques into the software development lifecycle. As he navigates the intersection of theory and practice, Robert Dockins remains committed to pushing the boundaries of what is possible in software reliability, making a lasting impact on the future of technology at AWS and beyond.
Applied Scientist at Amazon Web Services (AWS) in September 2022 to Present
Software Research and Development at Galois, Inc. in July 2014 to August 2022
Postdoctoral researcher at Portland State University in September 2012 to July 2014
Research Coop at Rockwell Collins in June 2009 to August 2009
Digital Resources Archivist at Digital Collections and Archives, Tufts University in January 2005 to April 2007
See more
See less
Princeton University, Doctor of Philosophy (PhD), July 2026
Tufts University, Master's degree, July 2026
Baylor University, BS, July 1999 to July 2026
See more
See less
Automated Reasoning
Rust (Programming Language)
Theorem Proving
Isabelle/HOL
COQ
Programming Languages
Haskell
C
Formal Verification
Logic
Java
See more
See less
Discover more about Amazon Web Services (AWS)What is Robert Dockins email address?
Email Robert Dockins at [email protected], [email protected] and [email protected]. This email is the most updated Robert Dockins's email found in 2026.
What is Robert Dockins phone number?
Robert Dockins phone number is 2144930634, 8704993141, 6097125469 and 2693822309.
How to contact Robert Dockins?
To contact Robert Dockins send an email to [email protected], [email protected] or [email protected]. If you want to call Robert Dockins try calling on 2144930634, 8704993141, 6097125469 and 2693822309. (updated on September 09, 2024)
What company does Robert Dockins work for?
Robert Dockins works for Amazon Web Services (AWS)
What is Robert Dockins's role at Amazon Web Services (AWS)?
Robert Dockins is Applied Scientist
What industry does Robert Dockins work in?
Robert Dockins works in the Computer Software industry.
Robert Dockins Email Addresses
Robert Dockins Phone Numbers
looking for?
Find personal and work emails for over 250M professionals.
People like Robert Dockins
Digital Media Producer at Rough Cut Productions
Leasing Consultant at Vista Motors
Engineering Intern at OpenText
Global Director, Strategy and Operations at Amazon Web Services (AWS)
WW Head - FSI Angler at Amazon Web Services (AWS)
Business Development - Cloud Migrations & Modernization at Amazon Web Services (AWS)
Director, Containers and Serverless GTM at Amazon Web Services (AWS)
On Sabbatical at Sabbatical
Executive Producer at Tuesday Design Co.
Head of Product - AI DevOps Group at Amazon Web Services (AWS)
Sr. Partner Business Development Manager - Catalyst Initiative at Amazon Web Services (AWS)
Xray Technician at McLaren Flint
Associate Vice President for Instructional Technology and Online Education, and Professor of CIS at MidAmerica Nazarene University
Arizona Regional Director at HorseTales Literacy Project
Sr Director, Accounting and Finance at CTI Clinical Trial and Consulting Services
Global Treasurer at Vinmar International
Area Manager at WTC
Chief Executive Officer at Nemaha County Hospital
Senior Manager at Deloitte
Head of Legal @ Armada at Armada
yard supervisor at Omnisource
West Coast Regional Sales Manager, Performance Marketing at Hulu
Owner at Brunswick Private Investigative Services
Senior Vice President at Springhill Consulting Group
Operations Analyst at Bayshire Senior Communities
Deputy Director at New River/Mount Rogers Workforce Investment Area Consortium Board
Musician Specializing in Memory Care and Retirement Community Performance at Freelance
President at Stairway to the Sky
Partner / Principal - Energy & Resources Supply Chain and Manufacturing Operations Lead at Deloitte
Application Development Specialist at Univar Solutions
Course Director N5-358-18 at Woodbadge
Electric Distribution Supervisor at Westar Energy
Show more
Show less