Zhaohui Luo's Home Page

Zhaohui Luo

Department of Computer Science,
Royal Holloway, University of London,
Egham, Surrey TW20 0EX, U.K.

Tel: +44 (0)1784-443431
Fax: +44 (0)1784-439786
Email: Zhaohui.Luo at cs.rhul.ac.uk

For further information:

My 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.
I am a member of the research group Type Theory and Applications.
Some of my publications
Research grants and Systems (Lego, Plastic and Epigram)
Applications for PhD are welcome!