Applied Scientist
CurrentI am an applied scientist in the automated reasoning group at AWS. I am currently focused on program verification for low-level systems software.
Sep 2022 - Present
AeroLeads people directory · profile
Robert Dockins Email & Phone Number
Applied Scientist at AWS
at
Amazon Web Services (AWS)
1 work email found
@pdx.edu
LinkedIn matched
✓ Verified July 2026
4 data sources
Profile completeness 100%
Current company
Role
Applied Scientist at AWS
Location
Portland, Oregon, United States
Company size
Who is Robert Dockins? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Robert Dockins is listed as Applied Scientist at AWS at Amazon Web Services (AWS), a with 72973 employees, based in Portland, Oregon, United States. AeroLeads shows a work email signal at pdx.edu and a matched LinkedIn profile for Robert Dockins.
Robert Dockins previously worked as Applied Scientist at Amazon Web Services (Aws) and Software Research and Development at Galois, Inc.. Robert Dockins holds Doctor Of Philosophy (Phd), Computer Science from Princeton University.
Company email context
Email format at Amazon Web Services (AWS)
This section adds company-level context without repeating Robert Dockins's masked contact details.
{first}.{last}@pdx.edu
86% confidence
AeroLeads found 1 current-domain work email signal for Robert Dockins. Compare company email patterns before reaching out.
Profile bio
About Robert Dockins
In my time as an academic researcher, and in my professional career, I have been deeply motivated by the following question: how can we make the critical software systems we all depend on more reliable? Answers to this question are deeply situational; some of the answers involve improving or specializing the languages we use to write software, some involve automatic tools for doing proof or random testing for bugs, and yet others involve human-guided proof carried out in a rigorous way. All of these answers overlap closely with my technical interests, which revolve around programming language semantics, formal mathematical logic, and the tools for bringing the two together.
Listed skills include Programming Languages, Haskell, C, Formal Verification, and 2 others.
Current workplace
Robert Dockins's current company
Company context helps verify the profile and gives searchers a useful next step.
Amazon Web Services (Aws)
Employees
72973
AeroLeads page
5 roles
Robert Dockins work experience
A career timeline built from the work history available for this profile.
Software Research And Development
At Galois, I help develop and maintain a suite of specification and formal methods tools, including Cryptol, SAW and Crux. I also apply these tools to a variety of applications, including functional verification of cryptographic primitives, and the automatic verification of generated runtime monitoring code. Presently, I am the primary maintainer of libraries used by these tools for symbolic execution of LLVM bitcode and JVM bytecode, as well as code that dispatches verification conditions to SMT solvers.
Jul 2014 - Aug 2022
Postdoctoral Researcher
I conduct research under the DARPA-funded MRC/SOUND project, which aims to improve network security by applying advanced research ideas to practical problems. As part of this project, have been designing and implementing a programming language for expressing policies, called SUPPL. The language is designed both to make it easier to express computer-executable policies, and to to be amenable to various kinds of formal analysis.
Sep 2012 - Jul 2014
Research Coop
I helped the formal analysis team conduct research on Guardol, a language for programming network guards (which manage the flow of information in networks with different classification levels).
Jun 2009 - Aug 2009
Digital Resources Archivist
Digital Collections And Archives, Tufts University
I assisted the University Archivist with managing processes and workflows related to accepting digital artifacts, and participated in the development of the Tufts Digital Library. I also worked on developing the web access portal for the "A New Nation Votes" collection, a collection of voting returns from the earliest period of US history.
Jan 2005 - Apr 2007
3 education records
Robert Dockins education
Doctor Of Philosophy (Phd), Computer Science
Master'S Degree, Computer Science
Bs, Computer Science
FAQ
Frequently asked questions about Robert Dockins
Quick answers generated from the profile data available on this page.
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 listed as Applied Scientist at AWS at Amazon Web Services (AWS).
What is Robert Dockins's email address?
AeroLeads has found 1 work email signal at @pdx.edu for Robert Dockins at Amazon Web Services (AWS).
Where is Robert Dockins based?
Robert Dockins is based in Portland, Oregon, United States while working with Amazon Web Services (AWS).
What companies has Robert Dockins worked for?
Robert Dockins has worked for Amazon Web Services (Aws), Galois, Inc., Portland State University, Rockwell Collins, and Digital Collections And Archives, Tufts University.
How can I contact Robert Dockins?
You can use AeroLeads to view verified contact signals for Robert Dockins at Amazon Web Services (AWS), including work email, phone, and LinkedIn data when available.
What schools did Robert Dockins attend?
Robert Dockins holds Doctor Of Philosophy (Phd), Computer Science from Princeton University.
What skills is Robert Dockins known for?
Robert Dockins is listed with skills including Programming Languages, Haskell, C, Formal Verification, Logic, and Java.
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 Robert Dockins you were looking for.
View similar profiles
