Daniel Kroening
|
Professor Daniel Kroening
Professor of Computer Science
Non-Tutorial Fellow,
Magdalen College
kroening@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD |
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, 2001Links
Roles
CAV 2009 , Program Comittee Member
Recent News
Studentships
Fully Funded DPhil Studentship
The Verification Research Group is offering a second fully funded D.Phil studentship in Oxford University's Department of Computer Science.
Studentships
Fully Funded DPhil Studentship
The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science
Miscellaneous
Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference
Selected Publications
| Interpolant Strength Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher In Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 5944 of Lecture Notes in Computer Science. Pages 129−145. Springer. January, 2010. Extended version available as technical report. Download slides. Details | BibTeX | Link | DOI (10.1007/978-3-642-11319-2_12) |
| An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions Daniel Kroening and Georg Weissenbacher In Kedar Namjoshi and Andreas Zeller, editors, Proceedings of the 5th Haifa Verification Conference. Springer. 2010. This work was also presented at the UNU IIST seminar in Macau (click here for slides) in January 2010. |
| Fixed Points in Multi−Cycle Path Detection Vijay D'Silva and Daniel Kroening In Bashir Al−Hashimi, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE). IEEE. April, 2009. |
