2025-04-14 点击次数：7
中国科学院软件研究所高级工程师，长期从事软件工程和形式化方法的研究工作。他是中国科学院软件研究所的高级工程师，并且在形式化方法领域有着丰富的经验和贡献。陈新国教授在形式化方法领域的研究和应用方面有着显著的成绩。他参与了多个重要的科研项目，并在国际和国内学术会议上发表了多篇论文。他的研究成果在软件工程和形式化方法的应用中具有重要的影响。此外，陈新国教授还参与了多个重要的学术会议和论坛，如CCF ChinaSoft 2023论坛，并在该论坛上做了专题报告，分享了他的研究成果和见解。他的工作不仅在学术界得到了认可，也在工业界有着广泛的应用