返回首页
CCF形式化方法专业组成立
11月3日晚，中国计算机学会（CCF）形式化方法专业组成立大会在南京召开。CCF专委工委主任、中国人民大学杜小勇教授为专业组筹备小组组长，他于当天亲自主持了会议。
形式化方法专业组依据新修订的《CCF专业委员会换届选举条例》，实行主任、副主任、秘书长公开选举和差额选举。到场的首批专业组委员通过不记名投票方式，选举出专业组主任1名、秘书长1名和副主任４名，即日起上任。
首届形式化方法专业组负责人名单：
主 任：林惠民 中国科学院院士、中科院软件所研究员
副主任：王 戟 国防科技大学教授
傅育熙 上海交通大学教授
王 义 东北大学教授
朱惠彪 华东师范大学教授
副主任：王 戟 国防科技大学教授
傅育熙 上海交通大学教授
王 义 东北大学教授
朱惠彪 华东师范大学教授
秘书长：詹乃军 中科院软件所研究员
<<< 上一篇
CCF的未来——新老理事建言学会发展
<<< 下一篇 CCFADL63期《软件定义网络（SDN）》开始报名
读完这篇文章后，您心情如何？
京公网安备 11010802032778号
所有评论仅代表网友意见