Zhaohui Luo

Professor of Computer Science

• Research interests:
  • Logic -- type theory, proof theory, computer-assisted formal reasoning.
  • Language -- advanced programming, mathematical vernacular, linguistic semantics.
  • Software engineering -- specification languages, system verification, formal methods.
• Research-related information:
  • Research grants
    • EU COST actions:
      • European Research Network on Formal Proofs (EuroProofNet)
      • EUTypes COST grant (EUTypes web page at Nijmegen)
    • Formal semantics in modern type theories: Leverhulme grant and publications
    • HoTT-based Computer-Assisted Reasoning (Royal Academy of Engineering)
  • Proof assistants: Agda, Coq (Rocq), Lego and Plastic
• Publications