Hanrui Zhao (Preferred)
Hanrui Zhao
Postdoc, Computational Science, National University of Defense Technology
Joined
January 2024
Names
Emails
****@stu.ecnu.edu.cn (Confirmed)
****@nudt.edu.cn (Confirmed)
Personal Links
Career & Education History
Postdoc
Computational Science, National University of Defense Technology (nudt.edu.cn)
2025 – Present
PhD student
Software Engineering, East China Normal University (ecnu.edu.cn)
2021 – 2025
MS student
Software Engineering, Qingdao University of Science and Technology (qust.edu.cn)
2018 – 2021
Advisors, Relations & Conflicts
Expertise
Formal Method
2021 – Present