Professor

## Unifying proof plans and schemas for program synthesis and transformation'

1/10/98 → 1/10/99

Project: Other (Non-Funded/Miscellaneous)

## Automated Deduction and Program Synthesis

1/10/97 → 30/09/98

Project: Other (Non-Funded/Miscellaneous)

## Automatic Guidance of Mechanically Generated Proofs

Bundy, A. & Gordon, M.

1/10/97 → 30/09/99

Project: Other (Non-Funded/Miscellaneous)

## Difference reduction techniques in automating theorem proving

1/10/96 → 31/12/96

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

1/10/96 → 30/09/99

Project: Other (Non-Funded/Miscellaneous)

## Automation of program synthesis in proof planning

Bundy, A. & Giunchiglia, F.

1/10/95 → 30/09/97

Project: Other (Non-Funded/Miscellaneous)

## Analogy in Theorem Proving using Proof Plans

1/10/94 → 30/09/95

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

1/10/94 → 30/09/97

Project: Other (Non-Funded/Miscellaneous)

## Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

1/10/93 → 30/09/94

Project: Other (Non-Funded/Miscellaneous)

## Automatic inductive proof

Bundy, A. & Stevens, A.

1/10/93 → 30/09/96

Project: Other (Non-Funded/Miscellaneous)

## Logic program synthesis and transformation

1/10/93 → 30/09/96

Project: Other (Non-Funded/Miscellaneous)

## Studies in the Sociology of Proof

Bundy, A. & McKenzie, D.

1/10/93 → 30/09/95

Project: Other (Non-Funded/Miscellaneous)

## Communication in Safety Cases - A Semantic Approach

1/10/93 → 30/09/96

Project: Other (Non-Funded/Miscellaneous)

## The Automation of Proof by Mathematical Induction

1/10/92 → 30/09/94

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

1/10/92 → 30/09/96

Project: Other (Non-Funded/Miscellaneous)

## Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

1/10/90 → 30/09/91

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

1/10/90 → 30/09/94

Project: Other (Non-Funded/Miscellaneous)

## Computational Logic

Bundy, A. & Hesketh, J.

1/10/89 → 30/09/91

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

1/10/87 → 30/09/91

Project: Other (Non-Funded/Miscellaneous)

## Computer-aided design of programs in the domain of ecological modelling

Bundy, A., Uschold, M., Muetzelfeldt, R. & Robertson, D.

1/10/86 → 30/09/89

Project: Other (Non-Funded/Miscellaneous)

## Machine Learning and Knowledge Acquisition

Bundy, A. & Kodrato, Y.

1/10/86 → 30/09/87

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

1/10/85 → 30/09/89

Project: Other (Non-Funded/Miscellaneous)

## The provision of support services for the Alvey IKBS Intelligent Front Ends Theme Co-ordinator

1/10/83 → 30/09/84

Project: Other (Non-Funded/Miscellaneous)

## Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System

Bundy, A., Howe, J. & Ross, P.

1/10/83 → 30/09/86

Project: Other (Non-Funded/Miscellaneous)

## An Expert System for Ecological Modelling

1/10/83 → 30/09/86

Project: Other (Non-Funded/Miscellaneous)

## Computational Modelling of Mathematical Reasoning

1/10/82 → 30/09/86

Project: Other (Non-Funded/Miscellaneous)

## A Program to Solve Mechanics Problems Stated in English

1/10/75 → 30/09/78

Project: Other (Non-Funded/Miscellaneous)

## Controlling Inference in a Semantically Rich Domain

1/10/78 → 30/09/81

Project: Other (Non-Funded/Miscellaneous)

## The integration and interaction of multiple mathematical Reasoning Processes

Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.

EPSRC

1/11/15 → 31/10/19

Project: Research

## Faulty Ontology Detection and Repair

Non-EU industry, commerce and public corporations

1/10/16 → 30/09/20

Project: Research

## A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

Non-EU other

1/01/09 → 30/09/12

Project: Research

## Machine assisted inter-agency communication during emergency response

Non-EU industry, commerce and public corporations

16/12/11 → 15/12/12

Project: Research

## The integration and interaction of multiple mathematical reasoning processes

Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

EPSRC

1/08/11 → 31/07/15

Project: Research

## A FRAMEWORK FOR RECORDING, RELATING AND COMBING A HETEROGENEOUS COLLECTION OF HP ONTOLOGIES FOR ENTERPRISE INFORMATION MANAGEMENT

Non-EU industry, commerce and public corporations

1/08/08 → 30/09/09

Project: Research

## The use of data-mining techniquesfor the automatic foramtion of tactics.

EPSRC

15/03/04 → 14/03/06

Project: Research

## Application of deductive synthesis techniques to the rapid assembly of grid applications

EPSRC

1/01/03 → 28/02/06

Project: Research

## Computational modelling of mathematical reasoning

Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

EPSRC

1/10/98 → 30/09/02

Project: Research

## The 2010 Federated Logic Conference

Plotkin, G., Bundy, A. & Libkin, L.

EPSRC

1/02/10 → 31/10/10

Project: Research

## A14FM : using A1 to aid automation of proof search in formal methods

Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.

EPSRC

1/04/10 → 31/03/14

Project: Research

## Integration and Interaction of multiple mathematical reasoning processes

Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

EPSRC

1/04/07 → 31/03/11

Project: Research

## Flexible incorporation of decision procedures into the LamdaClam proof-planning system

EPSRC

1/06/01 → 30/09/02

Project: Research

## CALCULEMUS - Systems for Integrated Computation and Deduction

EU government bodies

1/09/00 → 31/08/04

Project: Research

## INFERRING QUALITY OF SERVICE PROPERTIES FOR GRID APPLICATIONS

EPSRC

1/10/03 → 30/09/06

Project: Research

## The integration and interaction of multiple mathematical reasoning processes

Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

EPSRC

1/10/02 → 30/09/06

Project: Research

## The potential of automated reasoning tools to assist the working mathematician

Bundy, A., Aspinall, D. & Dixon, L.

EPSRC

1/10/10 → 31/12/10

Project: Research

## AUTOMATED DISCOVERY OF MATHEMATICS

Bundy, A., Colton, S. & Smith, P.

EPSRC

1/08/03 → 31/08/06

Project: Research