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, 2001Links
Roles
CAV 2009 , Program Comittee Member
Recent News
Studentships
The Government Communications Headquarters (GCHQ) in Cheltenham has agreed in principle to sponsor a Doctoral Studentship at Oxford University’s Department of Computer Science in the area of Cyber Security.
Selected 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 |
Automated 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 |
Verification of Shared-Memory Concurrent Software | PINCETTE | CPROVER | EPSRC UAV Autonomy | Intel Firmware |
|
Completed Projects |
Model-based test generation for embedded systems | Efficient Verification of Software with Replicated Components | CESAR | Generalisation Operators for Abstraction-Refinement | |
|
Current Students |
|
|
Past Students |
|
