EPSRC logo

Details of Grant 

EPSRC Reference: EP/H023852/1
Title: AI4FM: using AI to aid automation of proof search in Formal Methods
Principal Investigator: Ireland, Professor A
Other Investigators:
Grov, Dr G
Researcher Co-Investigators:
Project Partners:
Department: S of Mathematical and Computer Sciences
Organisation: Heriot-Watt University
Scheme: Standard Research
Starts: 20 May 2010 Ends: 19 May 2014 Value (£): 23,194
EPSRC Research Topic Classifications:
Artificial Intelligence Fundamentals of Computing
Software Engineering
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
EP/H024050/1 EP/H024204/1
Panel History:
Panel DatePanel NameOutcome
15 Dec 2009 ICT Prioritisation Panel (Dec 09) Announced
Summary on Grant Application Form
No summary is available for this grant.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.hw.ac.uk