University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Daniel Kroening

Personal photo - Daniel Kroening
Professor Daniel Kroening
Professor of Computer Science
Non-Tutorial Fellow, Magdalen College
kroening@cs.ox.ac.uk

Interests

I am interested in automatic methods for quality assurance of hardware and software systems. I am particularily interested in large-scale hard- and software implementations given in languages like C or C++, and systems that make use of concurrent threads of execution.

Biography

Doctorate in Computer Science, Saarland University, 2001

Links

List of Publications

DBLP

Roles

View all

CAV 2009 , Program Comittee Member

Recent News

Studentships

Funded Doctoral Studentships in Verification

The Verification Research Group is offering two fully funded DPhil studentships in association with the ERC project "Validation of Concurrent Software Across Abstraction Layers"

More Details...

Selected Publications

View all

Manage publications

Abstract Conflict Driven Learning

V. D'Silva‚ L. Haller and D. Kroening

In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.

Abstraction of Syntax

V. D'Silva and D. Kroening

In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013.

An Abstract Interpretation of DPLL(T)

M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening

In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013.

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Vijay D'Silva
Personal photo - Alexander Kaiser
Alexander Kaiser
Personal photo - Georg Weissenbacher
Georg Weissenbacher