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)