-
The Integration and Interaction of Multiple Mathematical Reasoning
Processes.
EPSRC Platform Grant EP/N014758/1
Grant holders: A. Ireland (PI),
D. Aspinall, A. Bundy, A. Smaill, J. Fleuriot, P. Jackson (Edinburgh),
G. Michaelson, K. Komedantskaya, Fiona McNeill (Heriot-Watt), S. Colton, J. Gow (Queen Mary University of London).
Grant period: 01/11/15 to 31/10/19.
-
The development of rigorous methods for the design of complex systems, inline with Military and Civil standards for complex hardware and software.
EPSRC Industrial Case grant EP/J501992
Grant holder: A. Ireland (PI)
Research Student: Rajiv Murali
Industrial Project Partner: BAE Systems (Warton) - Dr B. Gorry
Grant period: 1/10/2011 to 28/2/2015.
-
The Integration and Interaction of Multiple Mathematical Reasoning
Processes.
EPSRC Platform Grant EP/J001058
Grant holders: A. Ireland (PI),
D. Aspinall, A. Bundy, A. Smaill, J. Fleuriot, P. Jackson (Edinburgh),
G. Michaelson, G. Grov, Fiona McNeill (Heriot-Watt), S. Colton, J. Gow (Goldsmiths College).
Grant period: 01/08/11 to 31/10/15.
-
AI4FM: Using AI to aid automation of proof search in formal methods.
EPSRC grant EP/H023852
Grant holder: A. Ireland (PI)
Collaborators: C. Jones (University of Newcastle) & A. Bundy (University of Edinburgh)
Grant period: 1/4/2010 to 31/3/2014.
-
REMO: Reasoned Modelling.
EPSRC grant EP/F037058
Grant holder: A. Ireland (PI)
Research Student: M.T. Llano Rodriguez
Collaborator: G. Grov (University of Edinburgh)
Industrial Partner: BAE Systems - B. Gorry (contact)
Expert adviser: R. Arthan (Lemma1
Ltd)
Grant period: 17/9/2008 to 16/9/2011.
-
The Integration and Interaction of Multiple Mathematical Reasoning
Processes.
EPSRC Platform grant EP/E005713/1
Grant holders: A. Bundy (PI),
D.Aspinall, A.Smaill, J.Fleuriot, P.Jackson (Edinburgh),
A.Ireland, L.Georgieva (Heriot-Watt), L.Dennis (Nottingham), S.Colton
(Imperial).
Grant period: 01/04/07 to 31/03/11.
-
CORE: Cooperative Reasoning for Automatic Software Verification.
EPSRC grant EP/F037597
Grant holder: A. Ireland (PI)
Research Associate: E. Maclean
Research Associate: G. Grov
MEng Industrial Placement Student: R. Addison
Grant period: 01/02/08 to 31/01/11.
-
The Integration and Interaction of Multiple Mathematical Reasoning
Processes.
EPSRC Platform grant GR/S01771
Grant holders: A. Bundy (PI),
D.Aspinall, A.Smaill, J.Fleuriot, P.Jackson (Edinburgh),
A.Ireland, L.Georgieva (Heriot-Watt), L.Dennis (Nottingham), S.Colton
(Imperial).
Grant period: 01/10/02 to 31/03/07.
- PARTES: Performance Analysis of Real-Time Embedded Systems.
EPSRC Industrial Case Award GR/PO1786
Grant holder: A. Ireland (PI)
Research Student: B. Gorry
Industrial Partner: Systems Assurance Group, QinetiQ, Malvern.
Case award period: 01/03/03 to 28/02/06.
-
SPADEase: Towards Increased Verification Automation for High Integrity
Software
Engineering.
EPSRC Collaborative Training Account GR/T11289/01: Research Assistant
Industrial Secondment Grant
Grant holder: A. Ireland (PI)
Research Assistant: B.J. Ellis
Industrial Partner: Praxis High Integrity Systems Ltd, Bath.
Grant period: 17/01/05 to 17/07/05.
-
NuSPADE: Automatic Guidance for the Formal Verification of High Integrity
Ada.
EPSRC grant GR/R24081:
Part of the EPSRC Critical Systems research programme.
Grant holder: A. Ireland (PI)
Research Assistant: B.J. Ellis
Industrial partner: Praxis High Integrity Systems Ltd, Bath.
Grant period: 01/09/2001 to 31/08/04.
- Computational Modelling of Mathematical Reasoning.
EPSRC grant GR/M45030 (Rolling Funding Grant)
Grant holders: A.Bundy (PI), A.Smaill, J.Fleuriot, P.Jackson (Edinburgh)
A.Ireland (Heriot-Watt) and H.Lowe (Strathclyde).
Grant period 01/10/98 to 30/06/03.
-
Parallelising Compilation of Standard ML through Prototype
Instrumentation and Transformation.
EPSRC grant
GR/L42889
Grant holders: G. Michaelson (PI), A. Ireland and P. King
Grant period: 01/09/1997 to 31/08/00.
- Computational Modelling of Mathematical Reasoning.
EPSRC grant GR/L11724 (Rolling Funding Grant)
Grant holders: A.Bundy (PI), A.Smaill (Edinburgh) A. Ireland (Heriot-Watt),
H.Lowe (Napier).
Grant period: 01/06/96 to 30/09/98.
- Computational Modelling of Mathematical Reasoning.
EPSRC grant GR/J80702 (Rolling Funding Grant)
Grant holders: A.Bundy (PI), A.Smaill (Edinburgh) A. Ireland (Heriot-Watt),
H.Lowe (Napier).
Grant period: 01/03/94 to 31/05/96.