Curriculum Vitae
Experience
Associate Research Professor
June 2024 - presentInstitute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China
Project Assistant Professor
July 2023 - May 2024National Institute of Informatics (NII), Tokyo, Japan
Project Researcher
Oct. 2022 - June 2023National Institute of Informatics (NII), Tokyo, Japan
Postdoctoral Researcher
Nov. 2020 - Oct. 2022Max-Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany
Visiting Ph.D. Student
July 2017 - Oct. 2020State Key Laboratory of Computer Science, Institute of Software, Chinese Academy Of Science (ISCAS), Beijing, China
Undergraduate, postgraduate, and Ph.D. Student
Sept. 2008 - June 2020School of Software Engineering, Tongji University, Shanghai, China
From October 2022 to May 2024, I was a Project Researcher and later a Project Assistant Professor at the National Institute of Informatics (NII), Tokyo, Japan, working on the project ERATO Metamathematics for Systems Design headed by Prof. Dr. Ichiro Hasuo.
From November 2020 to October 2022, I was a Postdoctoral Researcher working in the Rigorous Software Engineering Group headed by Prof. Dr. Rupak Majumdar at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany.
I received my Ph.D. degree in Software Engineering from Tongji University, Shanghai, China in July 2020 (advisors: Prof. Dr. Miaomiao Zhang and Prof. Dr. Naijun Zhan). From 2017 to 2020, I was also a visiting Ph.D. student at SKLCS, Institute of Software, Chinese Academy of Sciences where I was advised by Prof. Dr. Naijun Zhan.