Testing & verification
Testing, runtime verification and validation for cyber-physical and autonomous systems.
Macquarie University · Sydney
Engineering intelligent systems we can trust.
The Intelligent Systems Engineering Group researches the testing, verification, safety and security of cyber-physical and autonomous systems, alongside distributed learning, the Internet of Things and software engineering.
Our mission
Research for dependable intelligent systems
ITSEG brings together research in trustworthy AI, autonomous systems and software engineering. The group’s work covers cyber-physical systems testing and verification, safety analysis, distributed learning, the Internet of Things, and intelligent connected systems.
Our projects apply these areas to autonomous vehicles, drones, smart farming, e-commerce and other real-world systems.
Research themes
From rigorous assurance to real-world intelligence
Safety analysis
Safety-preserving methods and scenario-based analysis for autonomous vehicles and drones.
Distributed learning
Federated, decentralised and privacy-aware learning across connected systems.
IoT & connected systems
Secure, dependable sensing, edge intelligence and Internet of Things systems.
Software engineering
Engineering methods for complex intelligent systems in research and industry.
Group updates
Latest news
Dr. Xi Zheng has been invited to serve on the Technical Program Committee of IEEE PerCom 2025.
IEEE PerCom, now in its 23rd year, will be held in Washington DC, USA, from March 17 to 21, 2025, as a physical event. PerCom is the premier...
Congratulations to Dr. Xi Zheng on being awarded the prestigious ARC Future Fellowship (2024)!
This project enhances the safety of cyber-physical systems such as unmanned aerial vehicles, autonomous vehicles and smart-farming technologies in Australia. It will leverage large language models for generating...
Congratulations to Dr Xi Zheng for being an editor of Journal of Reliable Intelligent Environments!
The Journal on Reliable Intelligent Environments focuses on theoretical developments and lessons learnt on the deployment of Intelligent Environments (IE). The broad areas represented in the journal reflect...
Dr Xi Zheng is invited to serve on the technical program committee of IEEE PerCom 2024
IEEE PerCom, now in its 22nd year, will be held in Biarritz (France), during March 11-15, 2024, as a physical in-person conference. PerCom is the premier annual scholarly...
Research portfolio
Selected projects
National competitive grant
"Advancing Robust Autonomy in Cyber-Physical Systems", CI, ARC Future Fellow grant FT240100269. Awarded $960,412. (2024)
This project enhances the safety of cyber-physical systems such as unmanned aerial vehicles, autonomous vehicles, and smart farming technologies in Australia. It will leverage large language models for generating realistic...
National competitive grant
"Robust and Scalable Autonomous Landing for Drones", CI, ARC Linkage Project grant LP210100337. Awarded $459,593. 2022-2025.
The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in...
National competitive grant
"Context-aware verification and validation framework for autonomous driving", CI, ARC Discovery Project grant DP210102447. Awarded $448,958. 2021-2024.
This project aims to enhance the reliability and safety of emerging self-driving vehicles, through a framework that supports the validation and verification of autonomous driving systems. This project expects to...
Document archive
Research highlights
Study with us
Interested in PhD or MRes research?
ITSEG welcomes enquiries from highly motivated, self-disciplined applicants. Read the research degree information before contacting the group.
Recruitment informationStart a conversation
Research and industry enquiries
Contact the Sydney office or email the group director.
Contact ITSEG