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
- Senior Principal Scientist @ (June 2020 - Present)
- Co-Founder @ (August 2019 - Present)
- CEO @ (January 2016 - July 2019)
- Professor of Computer Science @ (October 2010 - December 2020)
- Reader @ (September 2008 - September 2010)
- Lecturer @ (October 2007 - August 2008)
- Assistant Professor @ ETH Zuerich (July 2004 - September 2007)
- Visitor @ (January 2006 - December 2006)
- Postdoc @ (February 2001 - June 2004)
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.
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co