cv

Yibo DONG(董弈伯)

Basics

Name Yibo Dong
Label Software Engineering Researcher
Email 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

    Master Student
    East China Normal University (ECNU)
    Software Engineering
  • 2017.09 - 2021.06

    Shanghai, China

    B.E.
    Shanghai Jiao Tong University (SJTU)
    Information Security

Awards

Publications

Languages

Mandarin
Native
English
Fluent (IELTS 8.0)