EPSRC logo
Researcher Details
Name: Professor D Kroening
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/V000225/1 SCorCH : Secure Code for Capability Hardware(P)
Previous EPSRC Support
EP/J012564/1 New Foundational Structures for Engineering Verified multi-UAVs(P)
EP/H017585/1 Verification of Shared-Memory Concurrent Software(P)
EP/G026254/1 Efficient Verification of Software with Replicated Components(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator