Daniel Kroening Email
Senior Principal Scientist @ Amazon Web Services (AWS)
5 free lookup(s).
If you need more lookups,
subscriptions start at $34 USD/month.
Daniel Kroening Location
- Seattle, WA, US
Daniel Kroening Work
- 2020 -now Senior Principal Scientist @
- 2019 -now Co-Founder @
- 2010 -2020 Professor of Computer Science @
- 2016 -2019 CEO @
- 2008 -2010 Reader @
- 2007 -2008 Lecturer @
- 2004 -2007 Assistant Professor @ ETH Zuerich
- 2006 -2006 Visitor @
- 2001 -2004 Postdoc @
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
- Software Engineering
- Java
- LaTeX
- Mathematical Modeling
- Artificial Intelligence
- Algorithms
- Testing
- Simulations
- Parallel Computing
- Distributed Systems
- Programming
- Python
- High Performance Computing
- Lecturing
- Social Media
- University Teaching
- Qualitative Research
- Management
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 1 emails on RocketReach.
Looking for a different Daniel Kroening?
Find contact details for 700 million professionals.
Others Named Daniel Kroening
Daniel Kroening
Senior Principal Scientist
Seattle, WA, US
Dan Kroening
Account Manager
Littleton, MA, US
Dan Kroening
Transportation Dept.
Snellville, GA, US
Top Amazon Web Services (AWS) Employees
Deepak Singh
Vice President - Developer Agents and Experiences
Seattle, WA, US
Dilip Kumar
Vice President, AWS Applications
Seattle, WA, US
Preeti Viswanathan
CFO, Amazon Connect
Seattle, WA, US
Chris Grusz
Managing Director, Technology Partnerships
Kirkland, WA, US
Jens Gruenkemeier
Vice President Procurement
Seattle, WA, US
Melanie Keisor
VP HR, AWS Global Sales
Seattle, WA, US
Tina Qunell
CEO Communications, Program Management Lead
Bellevue, WA, US
Pooja H.
COO, Partner and Channel, AWS Global Sales
Austin, TX, US
Ezequiel Duran
CFO and Director - Elastic Block Store (EBS)
Seattle, WA, US
Jan Hofmeyr
Vice President
Seattle, WA, US
Casey Lee
President, Glamazon SoCal (Los Angeles Metro)
Los Angeles, CA, US
Deontre Thomas
President
Washington, DC, US
Michele Mehl
CEO and Exec Comms
Kirkland, WA, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co