Zhaohui Luo's Home Page
Professor of Computer Science
Department of Computer Science,
Royal Holloway, University of London,
Egham, Surrey TW20 0EX, U.K.
Email: zhaohui at cs.rhul.ac.uk
For further information:
- Research interests:
- Logic -- type theory, proof theory, computer-assisted formal reasoning.
- Language -- advanced programming, mathematical vernacular,
- Software engineering -- specification languages, system verification,
- Research group:
Type Theory and Applications
Systems (Lego and Plastic)
Applications for PhD are welcome!