Department of Computer Science

Subtyping, inheritance, and reuse

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £128,000

1/10/96 → 31/03/00

Project: Research

Mathematical Vernacular

Luo, Z.

Leverhulme Trust: £45,000

1/01/97 → 30/04/99

Project: Research

An open proof checker based on type theory

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £268,000

1/08/99 → 31/12/02

Project: Research

TYPES: Computer-assisted reasoning based on type theory

Luo, Z.

1/08/00 → 31/12/03

Project: Research

Epigram I: Innovative programming via inductive families

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £199,000

1/12/01 → 30/09/04

Project: Research

Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £187,000

1/10/02 → 30/09/04

Project: Research

EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

Luo, Z.

European Union: £107,000

1/09/04 → 30/04/08

Project: Research

Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £83,200

1/10/04 → 31/12/06

Project: Research

Epigram II: Innovative programming via inductive families

Luo, Z.

Eng & Phys Sci Res Council EPSRC: £50,483

1/10/04 → 31/08/05

Project: Research

Pascal: Grammatical inference with string kernels and latent structure techniques

Clark, A.

European Union: £42,566

1/10/05 → 30/09/06

Project: Research