Sign In
Get Clay Free →

Suggestions

    Daniel Kroening

    Senior Principal Scientist, Neuron Compiler

    Daniel Kroening is a renowned German computer scientist currently serving as a Senior Principal Scientist at Amazon Web Services (AWS) in Seattle, Washington. His specialties include GenAI for code, Program Analysis, and Automated Reasoning.12

    Background and Education

    • Birth: Born on November 6, 1975, in Mainz, Rhineland-Palatinate, Germany.6
    • Education: Kroening completed his diploma and doctoral degrees in Computer Science at Saarland University in 1999 and 2001, respectively.64

    Career Highlights

    • Academic Career: He was a Professor of Computer Science at the University of Oxford from 2010 to 2020 and held various positions there since 2007.13
    • Industry Experience: Before joining AWS, Kroening was the CEO and co-founder of Diffblue Ltd., a company that uses AI to write code.16
    • Research Interests: His research focuses on automated reasoning for hardware and software systems, particularly in large-scale implementations using languages like C or C++.34

    Awards and Recognition

    Kroening has received several awards, including the Semiconductor Research Corporation (SRC) Inventor Recognition Award, an IBM Faculty Award, a Microsoft Research SEIF Award, and the Wolfson Research Merit Award.5

    Current Role at AWS

    As a Senior Principal Scientist at AWS, Kroening is involved in ensuring the correctness of the Neuron Compiler, which is used for distributed training and inference.5 His work also involves using automated reasoning to provide provable guarantees for AWS products.4

    Highlights

    Jan 14 · amazon.science
    Daniel Kroening - Amazon Science
    Jan 9 · dblp.org
    Daniel Kroening - DBLP
    Dec 1 · cics.umass.edu
    Seminar: Daniel Kröning, AI Accelerators 101–And Why You Should ...
    Jan 1 · kroening.com
    Daniel Kroening
    Jun 28 · en.wikipedia.org
    Daniel Kroening - Wikipedia

    Related Questions

    What are Daniel Kroening's main responsibilities at AWS?
    How did Daniel Kroening transition from academia to industry?
    What is the significance of automated reasoning in AWS's products?
    Can you provide examples of projects Daniel Kroening has worked on at AWS?
    What is the role of GenAI for code in Daniel Kroening's work?
    Daniel Kroening
    Daniel Kroening, photo 1
    Daniel Kroening, photo 2
    Add to my network

    Location

    Seattle, Washington, United States