I am Rao Xiaojia(饶晓嘉), a final-year PhD student at Imperial College London started in 2020. I am advised by Philippa Gardner and externally by Conrad Watt. My current research interest lies in proof assistants, mechanised verification and type theory.

Prior to my current PhD studies, I studied mathematics for my undergraduate BA and MMath degrees at University of Cambridge.