Shufang Zhu

Papers

Total Citations

H-Index

About

Shufang Zhu is a leading researcher in formal methods and temporal logic, whose work addresses critical challenges in the specification and verification of autonomous and robotic systems. Her research focuses on Linear Temporal Logic (LTL) and its variants, particularly in the context of planning, synthesis, and runtime monitoring. Zhu’s major contributions include identifying and cataloging common semantic misconceptions in finite-trace and infinite-trace LTL, a foundational effort that helps practitioners avoid costly specification errors. Her 2024 paper on this topic has already garnered early citations, reflecting its immediate relevance to the community. Beyond this, Zhu has advanced the development of automated synthesis tools and formal frameworks that bridge the gap between high-level task specifications and low-level control in robotics. Her work is widely recognized for its clarity and practical impact, with cumulative citations exceeding 200. Zhu’s achievements include serving on program committees for top-tier conferences and contributing to open-source verification tools. For students and researchers, her research offers essential guidance on writing correct specifications—a skill increasingly vital in safety-critical autonomous systems.