Zhaohui Luo's Home Page
Zhaohui Luo
Professor of Computer Science
Department of Computer Science,
Royal Holloway, University of London,
Egham, Surrey TW20 0EX, U.K.
Email: zhaohui.luo at rhul.ac.uk
For further information:
- 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:
- Publications
Useful pointers