Shufang Zhu

shufang.jpg

Office B213

Via Ariosto 25

00185 Roma, Italy

I am a Research Associate at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale. Sapienza University of Rome, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech.

I received my Ph.D. degree in 2020, at East China Normal University (ECNU), Shanghai, China, under the supervision of Prof. Geguang Pu.

During my Ph.D., I got the scholarship from Chinese Scholarship Council (CSC) and studied as a visiting Ph.D. student (August 2016 to Feb 2018) at Rice University, under the supervision of Prof. Moshe Y. Vardi.

My main interests are in automated reasoning and formal verification.

Quick links to find me:


Experience

Postdoctoral Research Associate, 2020 - Present
Sapienza Università di Roma, Rome, Italy

Researcher, 2020.5 - 2020.10
Shanghai Industrial Control Safety Innovation Technology Co. LTD (TICPSH), Shanghai, China

Researcher Intern, 2018.6 - 2018.8
OS Kernel Lab, Huawei, China

Ph.D. Researcher, 2016.8 - 2018.2
Rice University, Houston, US


Education

Ph.D. in School of Software Engineering, 2014 - 2020
East China Normal University, Shanghai, China (ECNU).

B.Sc. in School of Software Engineering, 2010 - 2014
East China Normal University, Shanghai, China (ECNU).


Teaching

2022: Game-Theoretic Approach to Planning and Synthesis
Italian National PhD Program in Artificial Intelligence