Daniel Kröning

Computer Science Department, Oxford University.
Fellow of Magdalen College

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


NEW: We are hiring Postdocs and PhD students!


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 or C++, 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.


At CMU: At ETH: In Oxford: