I am Rao Xiaojia1, a 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 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.
- Chinese: 饶晓嘉 ↩︎