Andrew Ireland - Personal WWW Page

Andrew Ireland
Professor of Computer Science
School of Mathematical and Computer Sciences
Earl Mountbatten Building (Room G57)
Heriot-Watt University
Edinburgh EH14 4AS 
Email: a.ireland@hw.ac.uk
Tel:   +44 (0)131 451 3409
Fax:   +44 (0)131 451 3327

My area of research is Automated Reasoning and Formal Methods, in particular the development of theorem proving techniques which support the verification and synthesis of software systems - from design through to coding. I work within the Dependable Systems Group at Heriot-Watt University. I am also a member of the Mathematical Reasoning Group at the University of Edinburgh. If you are interested in Automated Reasoning then you might find the Scottish Theorem Proving seminar series of interest. As Conference Chair, I hosted the 3rd International Conference on Verified Software: Theories, Tools & Experiments (VSTTE-10) at Heriot-Watt University in 2010 ( Edinburgh Conference Centre), which is the flagship conference for the Verified Software Initiative. My recent Inaugural Lecture can be accessed here.

Current Research Grants:

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 (Heriot-Watt), S.Colton (Imperial).
Grant period: 01/08/11 to 31/07/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.

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 student projects can be accessed here.

Teaching:

Rigorous Methods for Software Engineering (F21RS1): High Integrity Software Development

System Level Verification: Simulation & Model Checking via SPIN

Current Research Grants:

Student Projects:

Teaching:

Rigorous Methods for Software Engineering (F21RS1): High Integrity Software Development System Level Verification: Simulation & Model Checking via SPIN

Rigorous Methods for Software Engineering (F21RS1): High Integrity Software Development

System Level Verification: Simulation & Model Checking via SPIN