Daniel Kroening Location
Seattle, WA, US
Daniel Kroening Work
- 2020 - now Senior Principal Scientist @ Amazon Web Services (AWS)
- 2019 - now Co-Founder @ Diffblue
- 2010 - 2020 Professor of Computer Science @ Oxford Women in Physics
- 2016 - 2019 CEO @ Diffblue
- 2008 - 2010 Reader @ Oxford Women in Physics
- 2007 - 2008 Lecturer @ Oxford Women in Physics
- 2004 - 2007 Assistant Professor @ ETH Zuerich
- 2006 - 2006 Visitor @ Cadence Design Systems
- 2001 - 2004 Postdoc @ Carnegie Mellon University
Daniel Kroening Education
- Universität des Saarlandes
PhD (Computer Science)
1999 - 2001 - Universität des Saarlandes
Master's degree (Computer Science)
1996 - 1999
Daniel Kroening Skills
- Generative AI for Code
- Model Checking
- Formal Verification
- Embedded Systems
- Program Analysis
- SAT
- C
- C++
- Computer Science
- Semantics
Daniel Kroening Summary
Daniel Kroening, based in Seattle, WA, US, is currently a Senior Principal Scientist at Amazon Web Services (AWS). Daniel Kroening brings experience from previous roles at Diffblue and University of Oxford. Daniel Kroening holds a 1999 - 2001 PhD in Computer Science @ Universität des Saarlandes. With a robust skill set that includes Generative AI for Code, Model Checking, Formal Verification, Embedded Systems, Program Analysis and more. Daniel Kroening has 3 emails on RocketReach.
Looking for a different Daniel Kroening?
Find contact details for 700 million professionals.
Others Named Daniel Kroening
-
3
-
Dan Kroening
Account Manager at The Arizona Team
Littleton, MA, US12 -
Dan Kroening
Transportation Dept. at Gwinnett County Public Schools
Snellville, GA, US2
Top Amazon Web Services (AWS) Employees
-
23
-
Michele Mehl
CEO and Exec Comms at Amazon Web Services (AWS)
Kirkland, WA, US35+ -
45+
-
Lashondra Steger
Founder at Amazon Web Services (AWS)
Spartanburg, SC, US2 -
45+
-
Deontre Thomas
President at Amazon Web Services (AWS)
Washington, DC, US41 -
Ishwar Parulkar
CTO, Telecom at Amazon Web Services (AWS)
California, United States55+ -
45+
-
35+
-
35+
-
45+
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups.
Search the #1
Contact Database
Get contact details of over 700M profiles across 60M
companies – all with industry-leading accuracy. Sales and Recruiter users, try out our
Email Finder Extension.
Use our
AI-Powered
Email Finder
Find business and personal emails and mobile phone numbers
with exclusive coverage across niche job titles, industries, and more
for unparalleled targeting. Also
available via our
Contact Data API.
G2Crowd Trusted
300K+
Plugin Users
