I am Rao Xiaojia1, a PhD student at Imperial College London advised by Philippa Gardner started in 2020. My current research interest includes mechanised verification, type theory, and set theory; in particular, their applications and uses in proof assistants. I am also following developments in automated proof generation.
Prior to my PhD, I studied mathematics at University of Cambridge for my undergraduate BA and MMath degrees.