NGUYEN Thanh Hung is a lecturer and researcher of Computer Science at the School of Information and Communication Technology (SoICT), Hanoi University of Science and Technology (HUST). He obtained the Master and PhD degrees in Computer Science in 2006 and 2010 respectively, from Grenoble Institute of Technology, France. Dr. Hung’s research focuses on software modeling, construction and verification. He has published over 30 research articles in international journals and conference proceedings. Currently, Dr. Hung is Vice-Dean of the SoICT, and is also the technical leader of the digital transformation project for Hanoi University of Science and Technology (eHUST).