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 group: Type Theory and Applications
• Publications
• Research grants and Systems (Lego and Plastic)
  • Leverhulme project on type-theoretical semantics
• Applications for PhD are welcome!