Dr. Hoang Nga Nguyen

Dr. Hoang Nga Nguyen joined the Cyber Security Group at the Centre for Mobility and Transport, Coventry University, in October 2015. Before this, he was a member of the Agent Lab at the School of Computer Science, University of Nottingham and participated in the EPSRC-funded project “Verification of resource-bounded multi-agent systems”. Within the scope of this project, he developed a systematic framework that enables automatic verification of multi-agent systems with resources (such as satellites, health care systems, non-driver transport systems). From 2011 to 2013, he was a postdoc at the Processes and Data Research Group and a member of the Railway Verification Group, Swansea University. During this time, he worked within the EPSRC/RSSB-funded project “Overcoming the railway capacity challenges without undermining rail network safety (SafeCap)” and developed modelling and abstraction techniques for verifying large-scale railway interlockings. Dr. Nguyen completed his PhD in Computer Science in 2010 at University of Nottingham. He also obtained a dual MSc degree in Computational Logic in 2006 from Dresden University of Technology and New University of Lisbon and a BEng degree in Information Technology in 2004 from Hanoi University of Science and Technology.

Coventry University No.1 Modern University No.1 Modern University in the Midlands
Coventry University awarded TEF GOLD Teaching Excellence Framework
QS Five Star Rating 2020 and University of the year shortlisted
Coventry City of Culture 2021