Daniel Kroening
Daniel Kroening
Senior Principal Scientist, Amazon
Joined
July 2019
Names
Emails
****@cs.ox.ac.uk (Confirmed)
****@cs.ox.ac.uk (Confirmed)
****@magd.ox.ac.uk (Confirmed)
****@gmail.com (Confirmed)
****@amazon.com (Confirmed)
Personal Links
Career & Education History
Senior Principal Scientist
Amazon (amazon.com)
2020 – Present
Full Professor
University of Oxford (ox.ac.uk)
2007 – 2020
Advisors, Relations & Conflicts
PhD Advisor
Wolfgang Paul
1998 – 2001
Expertise
Explainable AI
Present
Publications
Co-Authors
- Abhinandan Pal
- Adam Nellis
- Aditya V. Thakur
- Ajitha Rajan
- Alastair F. Donaldson
- Alberto Griggio
- Alessandro Abate
- Alessandro Cimatti
- Alex Groce
- Alex Horn
- Alexander Kaiser
- Aliaksei Tsitovich
- Andreas Griesmayer
- Andreas Holzer
- Andreas Tiemeyer
- Andrew Hawthorn
- Andrew J. Malton
- Andrew Reynolds
- Andrey Rybalchenko
- Angelo Brillout
- Anna Maria Bigatti
- Anna Trostanetski
- Ashutosh Natraj
- Bernd Becker
- Björn Döbel