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 Postdocs and PhD students!

Research

I am interested in formal methods for the correct construction of hardware and software sys­tems, with a focus on automated methods for checking compliance of an implementation with a specification. Techniques include model checking and automated testing.

I am particularly interested in applying these methods to practical hard- and software im­ple­mentations given in languages like C/C++/Java, or HDLs such as Verilog and SystemC.

Selected Papers

Read the proposal for a theory for lists/sets/maps for the SMT-Lib.

A full list of my papers is available here.

Teaching

At CMU:

At ETH:

In Oxford:

Service