Zhaohui Luo's Home Page
Professor of Computer Science
Department of Computer Science
Royal Holloway, University of London
Egham, Surrey TW20 0EX, U.K.
zhaohui at cs.rhul.ac.uk
For further information:
Logic -- type theory, proof theory, computer-assisted formal reasoning.
Language -- advanced programming, mathematical vernacular, linguistic semantics.
Software engineering -- specification languages, system verification, formal methods.
Type Theory and Applications
and Systems (
Research project on formal semantics in modern type theories
HoTT-based Computer-Assisted Reasoning (Royal Academy of Engineering)
Applications for PhD