Shufang Zhu (Preferred)
Shufang Zhu
Assistant Professor, Computer Science, University of Liverpool
Joined
June 2024
Names
Emails
****@cs.ox.ac.uk (Confirmed)
****@liverpool.ac.uk (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Computer Science, University of Liverpool (liverpool.ac.uk)
2024 – Present
Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2023 – 2024
Postdoc
DIAG, University of Roma "La Sapienza" (uniroma1.it)
2020 – 2022
PhD student
School of Software Engineering, East China Normal University (stu.ecnu.edu.cn)
2014 – 2020
Advisors, Relations & Conflicts
Expertise
Automated synthesis
Present
Publications
Co-Authors
- Antonio Di Stasio
- Ben Greenman
- Benjamin Aminof
- Dror Fried
- Fabio Patrizi
- Geguang Pu
- Gianmarco Parretti
- Giuseppe De Giacomo
- Giuseppe Perelli
- Hugo Francon
- Jianwen Li
- Jifeng He
- Jun Sun
- Lijun Zhang
- Lucas M. Tabajara
- Marco Favorito
- Marco Montali
- Marta Kwiatkowska
- Milda Zizyte
- Moshe Vardi
- Moshe Y. Vardi
- Pian Yu
- Sasha Rubin
- Shenghui Chen
- Shengping Xiao