澳门皇冠

CCF形式化方法专委会完成换届选举

阅读量:2
2019-08-16

2019年7月26日, CCF形式化方法专委会在北京召开换届会议。CCF专委工委主任、清华大学教授胡事民作为CCF特派员亲临现场监督本次换届选举。

依据新修订的《CCF澳门皇冠:领导机构选举办法》,今年CCF所有专委会的换届将实行主任、副主任、秘书长均为公开选举和差额选举。到场的78名专委委员通过不记名投票方式,选举出专委主任1名、秘书长1名、副主任3名。

新一届专委负责人将于2020年1月11日与CCF第十二届理事会同时上任。

新一届形式化方法专委会负责人名单:

主    任:王   戟 国防科技大学

副主任:傅育熙 上海交通大学

              蒲戈光 华东师范大学

              詹乃军 中科院软件所

秘书长:董   威 国防科技大学