Qian Cheng

PhD Student in Computer Science, researching formal methods on real-world systems