Name:	Professor Z Luo
Organisation:	Royal Holloway, Univ of London
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/R72259/02 Epigram: Innovative Programming via Inductive Families (P) GR/R84092/02 Pythagoras: Machine Support for Semi-formalised Proof Oriented Mathematics (P) GR/R84108/01 Pythagoras: Machine Support for Semi-formalised Proof Oriented Mathematics (R) GR/R84092/01 Pythagoras: Machine Support for Semi-formalised Proof Oriented Mathematics (P) GR/R72259/01 Epigram: Innovative Programming via Inductive Families (P) GR/M75518/01 AN OPEN PROOF CHECKER BASED ON TYPE THEORY (P) GR/K79130/01 SUBTYPING, INHERITANCE AND REUSE: DEVELOPING EXPRESSIVE TYPE THEORY FOR FORMAL ANALYSIS (P)

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