Andrew Ireland
Andrew Ireland
Professor of Computer Science
Head 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

Grants | Publications | Conferences | Student Projects | Teaching | MACS | Room Timetables | 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 |
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:

Teaching: