Cliff Jones
Has grant
Professor
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
Taming Concurrency
Open Date: 2013-03-31
Close Date: 2017-03-30
Grant: Close
(Understanding concurrent programs using rely-guarantee thinking)
Open Date: 2013-01-01
Close Date: 2015-12-31
Grant: Close
Trustworthy Ambient Systems: Resource Constrained Ambience
Open Date: 2012-02-01
Close Date: 2016-01-31
Grant: Close
UK Infrastructure Transitions Research Consortium (ITRC): PROGRAMME GRANT: Long term dynamics of interdependent infrastructure systems
Open Date: 2011-01-01
Close Date: 2011-02-07
Grant: Close
AI4FM: using AI to aid automation of proof search in Formal Methods
Open Date: 2010-03-31
Close Date: 2014-09-29
Articles (3)
Year:
2024
Year:
2023
Year:
2020
Collaborators (2)
Ian Hayes
Professor
The University of Queensland
Alan Burns
University of York
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.