cv
Yibo DONG(董弈伯)
Basics
| Name | Yibo Dong |
| Label | Software Engineering Researcher |
| prodongf@gmail.com | |
| Url | yibodong.tech |
| Summary | Master student in Software Engineering at ECNU with research focus on formal verification, model checking, and automated tools for railway interlocking systems. |
Education
-
2022.09 - 2025.06 Shanghai, China
-
2017.09 - 2021.06 Shanghai, China
Awards
- 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) |