I'm Gao Xin, also known as CrystM across various social media platforms. I hold a postgraduate degree from Shanghai Normal University and currently work at M20 Genomics.
I have a background in competitive programming, having earned a bronze medal in both the ICPC Asia Regional (Yinchuan) and EC-Final 2019.
My academic interests lie in 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.