Yibo Dong
Upcoming PhD Student at NUS.

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! ![]() ![]() |
---|---|
Nov 07, 2015 | A long announcement with details |
Oct 22, 2015 | A simple inline announcement. |
latest posts
Mar 26, 2025 | Our paper is accepted in spin'25! |
---|---|
Mar 08, 2025 | Our paper is accepted in ieee tcad! |