I am Rao Xiaojia(饶晓嘉). I have recently completed my PhD in Computer Science at Imperial College London, advised by Philippa Gardner and Conrad Watt.

I am currently in a transition period and continuing my research projects around WebAssembly mechanisation as an independent researcher in theorem prover mechanisations and formal verification.

Prior to my PhD studies, I studied mathematics at University of Cambridge during 2015-2019.