Qianshan.Yu

I am a film lover, coffee enthusiast and PhD candidate in Tsinghua University. My research interests include formal verification and model checking.



(翻墙以访问照片和脸书)