2025-04-14 00:00:00 点击量：16
陈新国：中国科学院软件研究所高级工程师，长期从事软件工程和形式化方法的研究工作。他是中国科学院软件研究所的高级工程师，并且在形式化方法领域有着丰富的经验和贡献。陈新国教授在形式化方法领域的研究和应用方面有着显著的成绩。他参与了多个重要的科研项目，并在国际和国内学术会议上发表了多篇论文。他的研究成果在软件工程和形式化方法的应用中具有重要的影响。
