cv
Yibo DONG(董弈伯)
Basics
| Name | Yibo Dong |
| Label | PL/SE Researcher |
| prodongf@gmail.com | |
| Url | yibodong.tech |
| Summary | PhD student in Software Engineering at NUS with research focus on testing and verification. |
Education
-
2025.08 - TBD Singapore
-
2022.09 - 2025.06 Shanghai, China
-
2017.09 - 2021.06 Shanghai, China
Awards
- 2025.10
Bronze Medal (Bit Level Track) + Silver Medal (Word Level Without Array Track) - HWMCC 2025
Hardware Model Checking Competition
Awarded for contributions to SuperCAR, a parallel safety model checker.
- 2024.09
Bronze Medal (AIGER Track) - HWMCC 2024
Hardware Model Checking Competition
Awarded for contributions to SuperCAR, a parallel bit-level safety model checker.
- 2019.04
M Prize (Top 10%) - Mathematical Contest in Modeling
Team Leader in a mathematical modeling competition.
Publications
-
2025 Revisiting Assumptions Ordering in CAR-Based Model Checking
TCAD
Theoretical analysis and new strategies for literal ordering in SAT solvers.
-
2023 LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
FSE
A framework for formal verification of railway interlocking systems using model checking.
Languages
| Mandarin | |
| Native |
| English | |
| Fluent (IELTS 8.0) |
Volunteer
-
2025 Reviewer and Proofreader
Chinese Translation of the famous book ‘Decision Procedures: An Algorithmic Point of View’
-
2025