Daniel Kröning

Emeritus Fellow, Magdalen College,
University of Oxford.

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

News

Springer is now shipping the 2nd edition of the book on Decision Procedures!

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: