Feel free to get in touch. You can email me at: louiscaixuran@outlook.com
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.