CCF Distinguished Young Scientist Award (Software Field) Received

Prof. Dr. Mingshuai Chen has been awarded the CCF Distinguished Young Scientist Award (Software Field), known formerly as the NASAC Youth Software Innovation Award, by the software-related technical committees of the China Computer Federation (CCF), in recognition of his contributions to formal verification of programs and hybrid systems. The award was presented at the closing ceremony of CCF ChinaSoft 2026 in Tianjin, China.