Daniel Kroening
Has grant
University of Oxford
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
Program Analysis with Abstract Satisfaction
Open Date: 2013-10-01
Close Date: 2018-09-01
Grant: Close
New Foundational Structures for Engineering Verified multi-UAVs
Open Date: 2012-05-31
Close Date: 2015-05-30
Grant: Close
Validation of Concurrent Software Across Abstraction Layers
Open Date: 2011-12-01
Close Date: 2016-11-30
Grant: Close
Verification of Shared-Memory Concurrent Software
Open Date: 2010-08-31
Close Date: 2014-02-28
Grant: Close
Efficient Verification of Software with Replicated Components
Open Date: 2009-02-02
Close Date: 2012-10-30
Articles (1)
Year:
2020
Collaborators (1)
Lucas Carvalho Cordeiro
The University of Manchester
UNITED KINGDOM
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.