Chun Tian is currently pursuing a PhD in Information and Communication Technology at the University of Trento, Italy. His research interests include Runtime Verification, Interactive Theorem Proving, Probability Theory and Concurrency Theory. Chun received his MSc (with honors) in Computer Science in 2017 from the University of Bologna, Italy, and won a one-year research grant at Fondazione Bruno Kessler, Italy.