Rao Xiaojia饶晓嘉
I am a researcher in theorem prover mechanisations and formal verification. My main interests include designing…and implementing, but that's mostly been taken over by LLMs. large-scale mechanisations, type theory and efficient certified execution.
I currently work as a mathematical research engineer at Mathlib Initiative.
I have previously completed my PhD in Computer Science at Imperial College London, supervised by Philippa Gardner, with external consultation from Conrad Watt.
Prior to my PhD studies, I studied mathematics at University of Cambridge during 2015-2019.