Type Theory and Applications

• Development of type theories
• Computer-assisted proof development
• Verification of programs
• Formalisation of mathematics
• Advanced issues in programming
• Linguistic semantics

• Dr. Robin Adams
• Ha V. Bui
• Dr. Stergios Chatzikyriakidis
• Dr. Weihe Chen
• Prof Zhaohui Luo
• Tao Xue

• Lexical Semantics in Type Theory with Coercive Subtyping (Leverhulme Trust; PI: Z. Luo)
• Classical Dependent Type Theories (EPSRC; PI: R. Adams)