Xuran Cai
Xuran Cai
Doctoral Student
E: xuran.cai@hertford.ox.ac.uk
Interests
My research interests broadly lie in theoretical computer science, with particular interests in compiler optimization, program analysis and termination, SAT/SMT solving, blockchain systems, and foundational problems in algorithms and graph theory. For more details, please visit my personal page