Zhaohui Luo – Projects — Royal Holloway Research Portal

Phone+44 1784 443431
EmailZhaohui.Luorhul.acuk
Websitehttp://www.cs.rhul.ac.uk/home/zhaohui/

TW20 0EX

12 results

Finished

HoTT-based Computer-Assisted Reasoning
Luo, Z. (PI)
Royal Academy of Engineering
1/07/14 → 30/06/15
Project: Research
Lexical Semantics in Type Theory with Coercive Subtyping
Luo, Z. (PI)
Leverhulme Trust
1/06/11 → 31/05/14
Project: Research
Type-theoretic foundation of mathematical pluralism
Luo, Z. (PI)
Leverhulme Trust
1/10/06 → 30/09/09
Project: Research
Epigram II: Innovative programming via inductive families
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/12/06
Project: Research
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
Luo, Z. (PI)
European Union
1/09/04 → 30/04/08
Project: Research
Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/02 → 30/09/04
Project: Research
Epigram I: Innovative programming via inductive families
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/12/01 → 30/09/04
Project: Research
TYPES: Computer-assisted reasoning based on type theory
Luo, Z. (PI)
1/08/00 → 31/12/03
Project: Research
An open proof checker based on type theory
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
Mathematical Vernacular
Luo, Z. (PI)
Leverhulme Trust
1/01/97 → 30/04/99
Project: Research
Subtyping, inheritance, and reuse
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research