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)
- Computer-assisted reasoning (eg, reasoning about programs/security)
- Advanced issues in programming (eg, dependently-typed programming)
- Formalisation of mathematics (eg, representation methods in formalisation)
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 at the
Graduate School
of Royal Holloway, Univ of London.
Back to Zhaohui Luo's
home page.