Qianshan.Yu

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