Daniel Kröning

Professor of Computer Science
Computer Science Department, University of Oxford.
Fellow of Magdalen College

Phone:+44-1865-283506
E-Mail: kroening@handshake.de
My PGP public key is here.

News

NEW: We are hiring PhD students!

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

NEW: 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 practical hard- and software im­ple­mentations given in languages like C/C++ or Java.

Selected Papers

A full list of my papers is available here.

Service

Teaching

At CMU:

At ETH:

In Oxford: