Rao Xiaojia饶晓嘉
I am an independent researcher in theorem prover mechanisations and formal verification. My main interests include designing…and implementing, but that's mostly been taken over by Claude. large-scale mechanisations, type theory and efficient certified execution.
I am currently working at Mathlib Initiative for an internship on computational methods.
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.