Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Shufang Zhu

Lecturer

University of Oxford
Country flagUnited Kingdom

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

About

Dr. Shufang Zhu is an Assistant Professor at the University of Oxford, United Kingdom. Her research primarily focuses on finite-trace and generalized-reactivity specifications in temporal synthesis. Through her work, she aims to contribute to the fields of formal methods and automated verification.

Articles (1)

Year:

2022

Collaborators (1)

ANTONIO DI STASIO

Lecturer (Assistant Professor)

City St George's University of London

UNITED KINGDOM
View details