Daniel Kroening

Dr Daniel Kroening

Reader in Computer Science
Non-Tutorial Fellow, Magdalen College

kroening@comlab.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

interests

I am interested in formal methods for the correct construction of hardware and software systems. This includes compositional reasoning, and automated methods for checking compliance of an implementation with a specification.

I am particularily interested in applying these methods to practical hard- and software implementations given in languages like C or C++.

biography

Doctorate in Computer Science, Saarland University, 2001

links

List of Publications
DBLP

roles

CAV 2009

Program Comittee Member

View all

publications

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT-Solvers

Zinovik, Igor, Kroening, Daniel and Chebiryak, Yury

IEEE Transactions on Information Theory, 2008.

To appear.

Details | BibTeX

A Survey of Automated Techniques for Formal Software Verification

D'Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.

Details | BibTeX | Link

Scoot: A Tool for the Analysis of SystemC Models

Blanc, Nicolas, Kroening, Daniel and Sharygina, Natasha

In Proceedings of TACAS 2008 Springer, 2008.

To appear.

Details | BibTeX

View all

info

themes	Verification \| Foundations, Logic and Structures \| Software Engineering \| Programming Languages
activities	Software Model Checking \| Concurrency \| Programming Tools \| Hardware Verification \| Security \| Model Checking \| Quantitative Analysis and Verification
projects	Model-based test generation for embedded systems \| Efficient Verification of Software with Replicated Components
students	Vijay D'Silva \| Leopold Haller \| Masud Khokhar \| Georg Weissenbacher

recent news

Vacancies Grade 7 Research Assistant on Efficient Verification of Software with Replicated Components Project The Automated Formal Verification Group is offering a postdoctoral position at Oxford University's Computing Laboratory. The position is associated with the EPSRC project "Efficient Verification of Software with Replicated Components", under the supervision of Daniel Kroening, which will investigate automated techniques to improve the quality of software

Studentships Fully funded D.Phil studentship Automated Formal Verification Group