Daniel Kröning

Emeritus Fellow, Magdalen College,
University of Oxford.

E-Mail: kroening@handshake.de
My PGP public key is here.

News

Amazon AWS is hiring in automated reasoning!

MIT Press is now shipping the 2nd edition of the Model Checking book!

Research

I am interested in automated reasoning techniques for automating the development of software. I am particularly interested in applying these methods to AI-enabled components, and DNNs specifically.

Selected Papers

A full list of my papers is available here.

Service

Teaching

At CMU:

At ETH:

In Oxford: