About this site
This is my personal website.
Welcome to my website. Please feel free to read more about me, or you can check out my resume, publications, view site statistics, or contact me.
Source available here.
Xuran Cai
Xuran Cai
About
I am a research postgraduate student in HKUST alpacas research group, supervised by professor Amir Goharshady. I am interested in progaming analysis, blockchain system, and parameterized algorithm. I am currently working on static program analysis.