NSFC Excellent Young Scientists Fund (Overseas) Granted

Prof. Dr. Mingshuai Chen is awarded the NSFC Excellent Young Scientists Fund Program (Overseas).

Our project proposal titled “Formal Design of Safety-Critical Cyber-Physical Systems” has been granted for funding by the National Natural Science Foundation of China (NSFC) as an Excellent Young Scientists Fund Program (Overseas). This program is known as one of the most prestigious grants for young researchers across China. The project aims to carry out research under the umbrella of automated synthesis of cyber-physical systems by exploring mechanized principles for designing complex safety-critical systems while aiming to establish cutting-edge synthesis techniques powered by verification methods.