Awards: Received the prestigious $960,412 ARC Future Fellowship in 2024; Awarded the Dagstuhl Seminar for Advancing Testability and Verifiability of CPS with Neurosymbolic and Large Language Models (202501048) scheduled Oct 2026 as the lead organizer along with Ruzica, Simin, Armando; Also awarded the Shonan Seminar for LLM-guided Synthesis, Verification, and Testing of Learning-Enabled CPS (235) scheduled Mar 2026 as the lead organizer along with Sanjoy and Simon. Publications: A paper on Online testing for autonomous drone landing was accepted to ICSE 2025. Conference Organizers: Invited to join CAV'25 TPC; Invited to join ICSE'26 TPC.
Research Experience
Current Position: Associate Professor at the School of Computing, Macquarie University. Research Projects: Leads several Australian Research Council-funded projects, including a collaborative project on autonomous path planning for passenger aircraft. Involved in a $10 million CRC-P bid to develop neuro-symbolic-enabled safe and reliable autonomous passenger aircraft systems.
Education
Insufficient information provided.
Background
Research Interests: System-level AI safety, Cyber-Physical Systems, Trustworthy AI. Professional Field: Software Engineering. Bio: An ARC Future Fellow and Associate Professor at the School of Computing, Macquarie University, Australia, with significant achievements in cybersecurity physical systems and trustworthy AI.