Shufang Zhu

Dr Shufang Zhu

Associate Member

E: shufang.zhu@cs.ox.ac.uk

Themes:

• Data, Knowledge and Action

See Also:

• Personal website

Biography

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. My research concerns interdisciplinary knowledge across formal methods (FM) and artificial intelligence (AI), focusing on automated reasoning, planning and synthesis.

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:

• Github
• Google Scholar
• DBLP

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

CV

You can find my CV here.

Events

• Co-Chair: On the Effectiveness of Temporal Logics on Finite Traces in AI, part of the AAAI 2023 Spring Symposium Series.

Teaching

• 2023: Foundations of Self-Programming Agents
  Teaching Assistant, Hilary Term, University of Oxford

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