Name:	Professor A Ireland
Organisation:	Heriot-Watt University
Department:	S of Mathematical and Computer Sciences
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/V026607/1 UKRI Trustworthy Autonomous Systems Node in Governance and Regulation (C) EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes (P) EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes (P) EP/H023852/1 AI4FM: using AI to aid automation of proof search in Formal Methods (P) EP/F037058/1 A cognitive model of axiom formulation and reformulation with application to AI and software engineering (P) EP/F037597/1 Cooperative Reasoning for Automatic Software Verification (P) EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes. (C) GR/S01771/01 Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes (C) GR/R24081/01 Automatic Guidance For the Formal Verification of High Integrity Ada (P) GR/M45030/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING (C) GR/L42889/01 PARALLELISING COMPILATION OF STANDARD ML THROUGH PROTOTYPE INSTRUMENTATION AND TRANSFORMATION (C) GR/L11724/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING (C) GR/J80702/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator