• SEAR: System Evolution via Animation and Reasoning.
  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)
  Start date: Oct 2008

• 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 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.

For details on completed grants click here.

Student Projects:

• I am keen to supervise student projects in the areas of: software verification and synthesis; testing and static analysis; visualization and animation (in particular with regards to proof); automated reasoning; tutoring systems (in particular for formal reasoning); general software engineering topics.
• My proposals for academic year 2007-2008 can be accessed via the following links: BSc Projects and MSc Projects

Teaching:

• Distributed Systems Programming (F21DS1): Formal Methods for Distributed Systems
• Automated Software Engineering (F21AU1): High Integrity Software Development
• Software Design (F28SD2): Methods and Processes