Be iyanPiki / CrystM

Hi, I'm Gao Xin, also I use the names CrystM or BeiyanPiki on social media. Currently, I am a postgraduate student studying at Shanghai Normal University

I am a competition programming player(retired), I got the bronze medal in ICPC Asia Regional(Yinchuan) and EC-Final 2019.

My research focus is on adversarial graph learning and formal verification.

Publication:
[1] An D, Pan Z, Gao X*, et al. stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems[J]. IEEE Access, 2023.