2024年11月15日至2024年11月17日，2024 CCF中国软件大会在西安高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办。
2024年11月16日，我校数学与计算机学院青年教师孙璞，在西安高新国际会议中心丈八厅参加CCF形式化方法专委会2024年度工作会议。经中国科学院软件所宋富研究员与华东师范大学张民教授推荐，孙璞博士作为2024年度新申请加入专委的CCF会员进行个人申请陈述，经专委常委会投票表决，孙璞博士当选CCF形式化方法专委会通讯委员。
陈述中，孙璞以个人研究方向为切入，结合其在安徽陆科光电科技有限公司的社会兼职情况，发表了其期望深刻了解工业界在形式化方法领域内具体需求、并以此结合具体形式化验证方法进行工业界实际应用的愿景，受到多名与会专家的肯定。
长期以来，学校高度重视青年人才的培养，积极为校内青年教师的科研发展创造条件，鼓励青年教师们积极参加各类学术交流活动。
撰稿:孙璞 审稿:齐平