Dr Hoang Nga Nguyen is an Associate Professor in Cyber Security at Swansea University (UK). His current research agenda includes cybersecurity in automotive and autonomous systems. His recent work concentrates on developing model-based and simulation-based techniques to facilitate verification and validation, respectively, of security and safety requirements. His research project portfolio includes VRBMAS, ACID, Ditto, QRNG for CAV, Secure CAV, and AutoCHERI. They have been funded by EPSRC, RSSB, InnovateUK, and Digital Catapult. He is an associate member of the Verification & Validation of Autonomous Systems network and a member of the European Technical Working Group on Formal Methods in Railway Control. Currently, he is a participant in the DBbD TAP programme.