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.

• Learn More