PhD
Applications for PhD studies
Applications are invited from students with good undergraduate or MSc
degrees in mathematics, computer science or a related subject to study
for a PhD degree. Possible fields of study include:
- Development of logic and type theory (eg, dependent type theories,
Homotopy Type Theory)
- Computer-assisted reasoning (eg, reasoning about programs/security)
- Formal semantics of natural languages (eg, type-theoretical semantics)
- Advanced issues in programming (eg, dependently-typed programming)
- Formalisation of mathematics (eg, representation methods in formalisation)
- Computational linguistics (eg, linguistic semantics in type theory)
Proposals on other research topics are also welcome.
Further inquiries and applications can be sent to
On-line application forms can be found
here.
Further information for postgraduate studies at Royal
Holloway can be found
here.
Back to Zhaohui Luo's
home page.