Projects per year
Personal profile
Biography
Dr. Xi Zheng earned his Ph.D. in Software Engineering from the University of Texas at Austin in 2015. Between 2005 and 2012, he was the Chief Solution Architect for Menulog Australia. Currently, he is an ARC Future Fellow and occupies several leadership roles at Macquarie University, Australia: Director of the Intelligent Systems Research Group (ITSEG.ORG), Director of International Engagement in the School of Computing, Associate Professor and Deputy Program Leader in Software Engineering. His research areas include Cyber-Physical Systems Testing and Verification, Safety Analysis, Distributed Learning, Internet of Things, and the broader spectrum of Software Engineering. Dr. Zheng has successfully secured over $2.4 million in competitive funding from the Australian Research Council (1 Future Fellow, 2 Linkages and 1 Discovery) and Data61 (CRP) projects focused on safety analysis, model testing and verification, and the development of trustworthy AI for autonomous vehicles. He has been recognized with several awards, including the Deakin Industry Researcher Award (2016) and the MQ Early Career Researcher Award (Runner-up 2020). His academic contributions include numerous highly cited papers and best conference paper awards. He has served as a Program Committee member for leading Software and System conferences, such as ICSE (2026), FSE (2022, 2024) and PerCom (2017-2024), and as PC chair for IEEE CPSCom-2021 and IEEE Broadnets-2022. Additionally, he has taken on the role of associate editor for ACM Distributed Ledger Technologies and editor for the Springer Journal of Reliable Intelligent Environments. In 2023, Dr. Zheng is a visiting professor at both UCLA and UT Austin and co-founder of the international workshop on trustworthy autonomous cyber-physical systems.
Dr. Zheng is a leading co-organizer for the Shonan Meeting (Seminar No. 235) on “LLM-Guided Synthesis, Verification, and Testing of Learning-Enabled CPS” in March 2026 and the Dagstuhl Seminar (202501048) on “Advancing Testability and Verifiability of CPS with Neurosymbolic and Large Language Models” in October 2026.
Biography
Research Interests
-
Testing and Verifying Cyber-Physical Systems especially those enabled by machine learning models and complex ultra-large Software Systems.
-
AI System Safety leveraging Foundation Models and NeuroSymbolic Paradigms.
-
Distributed Learning.
Highlighted Research Projects
- "Advancing Robust Autonomy in Cyber-Physical Systems", CI, ARC Future Fellow grant FT240100269. Awarded $960,412. 2024-2028.
-
“Robust and Scalable Autonomous Landing for Drones”, CI, ARC Linkage Project grant LP210100337. Awarded $459,593. 2022-2025.
-
“Context-aware Verification and Validation framework for Autonomous Driving”, CI, ARC Discovery Project grant DP210102447. Awarded $448,958. 2021-2024.
-
“A Safety-preserving Ecosystem for Autonomous Driving”, Leader CI, ARC Linkage Project grant LP190100676. Awarded $341,853. 2021-2024.
Academic Service and Awards
- Associate Editor for ACM Distributed Ledger Technologies (since 2022).
- Editor for Springer International Journal of Reliable Intelligent Environments (since 2024).
- Program Chair: IEEE International Conference on Cyber, Physical and Social Computing 2021 and EAI International Conference on Broadband Communications, Networks, and Systems 2022.
- Program Committee Member: ACM International Conference on the Foundations of Software Engineering (2022, 2024), International Conference on Pervasive Computing and Communications (since 2017).
- Co-founder and Steering committee member: International Workshop on Trustworthy Autonomous Cyber-Physical Systems (since 2024).
- Industry Researcher Award in Deakin 2016, Excellence in Early Career Research Award (highly recommend) in Macquarie University 2020.
- Most innovative project award in Alpha innovation contest 2020,
- Two Vice Chancellor’s Commendation for Thesis Excellence award in Macquare University 2023.
- Best paper award: Australasian Computing Doctoral Consortium 2017,International Conference on Algorithms and Architectures for Parallel Processing 2019.
Fingerprint
- 1 Similar Profiles
-
LP21: Robust and Scalable Autonomous Landing for Drones
Han, R., McIver, A., Zheng, J., Houston, R. & Kallinen, V.
16/08/22 → 17/08/25
Project: Research
-
Vulnerability Detection in Complex Software Systems using Deep Learning Models and Software Testing
Zheng, J. & Cai, Y.
8/12/23 → 7/12/24
Project: Research
-
Vulnerability Detection in Complex Software Systems using Large-scale Language Models and Software Testing
15/09/23 → 29/03/24
Project: Research
File -
CSIRO Data61 top-up scholarship for PhD candidate (Guan)
Zheng, J., Guan, W. & Wang, C.
1/02/22 → 17/11/24
Project: Research
-
SUT led : Context-aware verification and validation framework for autonomous driving
Chen, T., Vu, H., Liu, H., Zheng, J. & Zhou, Z.
25/02/21 → 24/02/24
Project: Research
-
An analysis of adversarial attacks and defenses on autonomous driving models
Deng, Y., Zheng, X., Zhang, T., Chen, C., Lou, G. & Kim, M., 2020, 18th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2020. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 10 p. (International Conference on Pervasive Computing and Communications).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
117 Citations (Scopus) -
An intelligent dynamic offloading from cloud to edge for smart IoT systems with big data
Wang, T., Liang, Y., Zhang, Y., Zheng, X., Arif, M., Wang, J. & Jin, Q., Oct 2020, In: IEEE Transactions on Network Science and Engineering. 7, 4, p. 2598-2607 10 p.Research output: Contribution to journal › Article › peer-review
48 Citations (Scopus) -
Real-time simulation support for runtime verification of cyber-physical systems
Zheng, X., Julien, C., Chen, H., Podorozhny, R. & Cassez, F., Sept 2017, In: ACM Transactions on Embedded Computing Systems. 16, 4, p. 1-24 24 p., 106.Research output: Contribution to journal › Article › peer-review
10 Citations (Scopus) -
Leveraging energy function virtualization with game theory for fault-tolerant smart grid
Wang, K., Wu, J., Zheng, X., Jolfaei, A., Li, J. & Yu, D., Jan 2021, In: IEEE Transactions on Industrial Informatics. 17, 1, p. 678-687 10 p.Research output: Contribution to journal › Article › peer-review
23 Citations (Scopus) -
SSL-SVD: semi-supervised learning based sparse trust recommendation
Hu, Z., Xu, G., Zheng, X., Liu, J., Li, Z., Sheng, Q. Z., Lian, W. & Xian, H., Mar 2020, In: ACM Transactions on Internet Technology. 20, 1, p. 1-20 20 p., 4.Research output: Contribution to journal › Article › peer-review
27 Citations (Scopus)
Prizes
-
Winner - Faculty of Science and Engineering Award for Inter-School Collaboration - 2023
Nayak, Abhaya (Recipient), Mahmood, Adnan (Recipient), Beheshti, Amin (Recipient), McIver, Annabelle (Recipient), Bilgin, Ayse (Recipient), Liquet-Weiland, Benoit (Recipient), Svensson, Carl (Recipient), Ramakrishnan, Charanya (Recipient), Smith, Connor (Recipient), Molla-Aliod, Diego (Recipient), Vatsalan, Dinusha (Recipient), Xue, Emma (Recipient), Gupta, Gaurav (Recipient), Sofronov, Georgy (Recipient), Baker, Greg (Recipient), Liu, Guanfeng (Recipient), Asghar, Hassan (Recipient), Doosti, Hassan (Recipient), Zhu, Houying (Recipient), Jiang, Iris (Recipient), Zheng, James (Recipient), Lin, Huan (Recipient), Wu, Jia (Recipient), Ma, Jun (Recipient), Binkowski, Karol (Recipient), Dras, Mark (Recipient), Manuguerra, Maurizio (Recipient), Orgun, Mehmet (Recipient), Lay, Michael (Recipient), Zou, Nan (Recipient), Kordzakhia, Nino (Recipient), Busch, Peter (Recipient), Graham, Petra (Recipient), Schwitter, Rolf (Recipient), Chen, Shan (Recipient), Smith, Stephen (Recipient), Cassidy, Steve (Recipient), Prvan, Tania (Recipient), Fung, Thomas (Recipient), Li, Yan (Recipient), Wang, Yan (Recipient), Zhang, Yang (Recipient) & Zhou, Yipeng (Recipient), 2023
Prize: Other distinction