Daniel Kroening's Location
Seattle, WA, US
Daniel Kroening's Work
Daniel Kroening's Education
Daniel Kroening's Skills
Daniel Kroening's Summary
Daniel Kroening, based in Seattle, WA, US, is currently a Senior Principal Scientist at Amazon Web Services (AWS), bringing experience from previous roles at Diffblue and University of Oxford. Daniel Kroening holds a 1998 - 2001 PhD in Computer Science @ Universität des Saarlandes. With a robust skill set that includes LaTeX, Mathematical Modeling, Programming, Formal Verification, Lecturing and more, Daniel Kroening contributes valuable insights to the industry. Daniel Kroening has 6 emails on RocketReach.