SIU Prize Computer Science Gold Prize: Tran Hoang Dung and the revolution in learning-enabled cyber-physical systems

Tran Hoang Dung – Assistant Professor at the University of Nebraska-Lincoln, Nebraska, USA has been honored with the SIU Prize Computer Science Gold Prize for his outstanding contributions in the field of learning-enabled cyber-physical systems.

Dr. Tran Hoang Dung’s doctoral thesis “Verification of Learning-Enabled Cyber-Physical Systems” was successfully defended at Vanderbilt University, Tennessee, USA in 2020. The research focuses on establishing a mathematical foundation, data structures and algorithms to verify the safety of various types of neural networks and automated systems based on machine learning.

P30

Dr. Tran Hoang Dung is the recipient of the SIU Prize Computer Science Season 1 Gold Prize for his groundbreaking thesis.

The applications of the thesis are extremely broad. It can ensure the safety and sustainability of advanced technologies such as self-driving cars, drones and deep neural networks, laying the key foundation in the field of modern computing.

Dr. Tran Hoang Dung’s notable achievements include the first verification method capable of analyzing real-world systems such as VGG16 networks and semantic segmentation networks. His method is proven to outperform the existing methods. Dr. Tran Hoang Dung is leading the development of pioneering solutions for safe AI, autonomous systems, and real-time verification.

Dr. Tran Hoang Dung has published more than 40 research papers, many of which have been published in leading journals and conference proceedings in the fields of programming languages ​​and logic, formal methods, cyber-physical systems, neural networks, and machine learning systems. Dr. Dung’s works are among the most cited research papers in recent years, demonstrating the recognition of the international scientific community for his contributions. For his contributions in the field of security of learning-enabled cyber-physical systems, his doctoral thesis received the IEEE Best Dissertation Award in the field of Cyber-Physical Systems in 2021.

Dr. Tran Hoang Dung has led and participated in many research projects funded by prestigious organizations such as the US National Science Foundation (NSF), the US Army and large corporations such as Toyota, with a total project budget of approximately 2.6 million USD. Of which, approximately 1.92 million USD (73%) is the project in which Dr. Dung holds the role of principal chair or sole chair. Notably, Dr. Tran Hoang Dung’s new research direction on the safety of complex learning-enabled systems is proposed for the NSF CAREER Award worth 700,000 USD, which is the most prestigious award for young professors in the US sponsored by the US National Science Foundation.

The SIU Prize is an award that celebrates Vietnamese intelligence and promotes scientific creativity, seeking to affirm Vietnam’s position on the international technology and research community. The award is the commitment of the Group of Asian International Education in establishing a global knowledge community, thereby, accompanying the sustainable development of humanity.