My research focuses on broader perspectives of Cyber Defence and Secure Computing, with an emphasis on Network and Mobile Internet Security, Unmanned Aerial Systems, Distributed Ledger Technology, and Digital Twins. I'm particularly interested in adversarial and threat modelling, formal methods of verification, simulations, and hardware-in-the-loop technologies associated with these themes.

I have a strong track record of high-quality research publications, project deliveries, and the development of simulators and live systems. I am deeply motivated to address the challenges of secure and responsible computing, particularly through behavior-verification of computing infrastructure.