Dr. Shufang Zhu


I am a Senior Research Associate at the Department of Computer Science, University of Oxford, 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.

Quick links to find me:

You can find my CV here.

My Erdős number is at most 3 (via Moshe Y. Vardi -> Joel H. Spencer -> Paul Erdős).

Email: shufang.zhu(at)


Apr 6, 2023
Talk on “On the power of LTLf in Assuerd Autonomy” selected for the Oxbridge Conference 2023!

Mar 15, 2023
Journal paper Finite-trace and generalized-reactivity specifications in temporal synthesis is online!

Mar 2, 2023
Course on Game-Theoretic Approach to Planning and Synthesis accepted at ESSAI’23!





* indicates author list has been sorted alphabetically by last name.

Conference Articles

Journal Articles

Workshop Articles