• Skip to main navigation
  • Skip to search
  • Skip to main content
Royal Holloway Research Portal Home Royal Holloway Research Portal Logo
  • Help & FAQ
  • Home
  • Profiles
  • Research units
  • Research output
  • Projects
  • Activities
  • Prizes
  • Datasets
No photo of Zhaohui Luo

Zhaohui Luo

Professor

  • Professor of Computer Science, Department of Computer Science
  • Centre for Software Language Engineering
  • Centre for Intelligent Systems
  • Phone+44 1784 443431
  • EmailZhaohui.Luorhul.acuk
  • Websitehttp://www.cs.rhul.ac.uk/home/zhaohui/
  • TW20 0EX

  • Overview
  • Network
  • Research output (83)
  • Projects (12)
  • Activities (1)
  • Supervised Work (2)

Research output

  • 35 Conference contribution
  • 18 Article
  • 12 Chapter (peer-reviewed)
  • 8 Other contribution
  • More
    • 5 Book
    • 2 Chapter
    • 1 Abstract
    • 1 Paper
    • 1 Doctoral Thesis

Research output per year

Research output per year

  • Modern Type Theories: Their Development and Applications

    Luo, Z., 2024, Tsinghua University Press.

    Research output: Book/Report › Book

  • A Metatheoretic Analysis of Subtype Universes

    Bradley, F. & Luo, Z., 28 Jul 2023, (Accepted/In press) 28th International Conference on Types for Proofs and Programs (TYPES 2022): Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl –Leibniz Center for Informatics, Vol. 269. 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
  • Propositional Forms of Judgemental Interpretations

    Xue, T., Luo, Z. & Chatzikyriakidis, S., Oct 2023, In: Journal of Logic, Language and Information. 32, 4, p. 733-758 26 p.

    Research output: Contribution to journal › Article › peer-review

  • Universes in Type-Theoretical Semantics (paper accompanying an invited talk)

    Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    15 Downloads (Pure)
  • Identity Criteria of Common Nouns and dot-types for Copredication

    Chatzikyriakidis, S. & Luo, Z., 2018, In: Oslo Studies in Language. 10, 2, p. 121-141 21 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
View all 83 research outputs

Projects

  • 12 Finished

Projects per year

  • 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

View all 12 projects

Activities

  • 1 Membership of research network

Activities per year

  • Member of TYPES steering committee (External organisation)

    Luo, Z. (Participant)

    25 Apr 2013

    Activity: Membership › Membership of research network

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2025 Royal Holloway Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Royal Holloway Research Portal data protection policy

About web accessibility

Report vulnerability