Yibo Dong

Upcoming PhD Student at NUS.

Self.jpg

About Me

I’m currently a master student in Software Engineering Institute at East China Normal University(ECNU) since 2022, advised by Prof. Geguang Pu and Prof. Jianwen Li.

My current research interests revolve around solving real challenges using formal verification techniques, with a particular focus on model checking and SAT. At present, I am deeply engaged in the development of Complementary Approximate Reachability(CAR), a cutting-edge safety model checking algorithm. This involves not only refining the algorithm but also creating novel implementations and applying it to real-world problem-solving.

Before joining ECNU, I spent my undergraduate time at Shanghai Jiao Tong University(SJTU). I worked around compiler correctness and mathematical logic in Coq, the proof assistant, under supervision of Prof. Qinxiang Cao.

I will join National University of Singapore(NUS) and work under Prof.Manuel Rigger soon in 2025 fall.

news

Jan 15, 2016 A simple inline announcement with Markdown emoji! :sparkles: :smile:
Nov 07, 2015 A long announcement with details
Oct 22, 2015 A simple inline announcement.

latest posts

selected publications

  1. ESEC/FSE
    LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
    Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, and 3 more authors
    In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, 2023