Dr. Syed Wajid Ali Shah

Dr. Shah studies formal‑logic frameworks and algebraic reasoning for safety‑critical AI systems. He contributes to symbolic safety verification and formal methods in machine reasoning. His portfolio spans secure cloud computing, privacy‑enhancing technologies, and human‑centered trust frameworks, supporting cyber‑resilience projects at Deakin’s Centre for Cyber Resilience and Trust.