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

Grants | Publications | Conferences | Student Projects | Teaching | MACS | Room Booking | HW | ISS | SAS | FSS | Links | BBC | Rippling | Bibtex | Dictionary | Gmail | Google Translate | MathsRevision | WebMail | Google | VAT | VISION | PURE | WING Wiki | Zu3D | BT Yahoo | Waverley | Intranet | BBC Bitesize | ResearchFish | DuckDuckGo | 3 Pistes Cycle | Riddell Sketch Book | CS Man Sys | PURE | MACS Project System | CS Wiki |
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 Inaugural Lecture can be accessed here.

Current Research Grants:

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; animation and the use of pictures in communicating specifications; automated reasoning, in particular failure driven methods of discovery (e.g. proof critics); embedded formal methods for system design; tutoring systems, in particular for formal reasoning and program proof.


  • Rigorous Methods for Software Engineering (F21RS/F20RS) and Software Design (F28SD).