返回首页
CCF形式化方法专业组首批委员名单发布
学会在8月份发布了组建CCF形式化方法专业组的公告。至申请截止日期，秘书处共收到90余份委员申请。经筹备小组审议讨论，最终确定了62名首批委员名单（名单下附）。
该专业组成立大会将于11月3日在南京召开，专业组负责人的选举工作将依照新修订的选举条例进行，主任、副主任、秘书长实行公开选举制，并为差额选举。
首批委员名单（按单位名称首字母排列）
| 姓名 | 单位 |
| 裘宗燕 | 北京大学 |
| 孙猛 | 北京大学 |
| 夏壁灿 | 北京大学 |
| 杨红丽 | 北京工业大学 |
| 佘志坤 | 北京航空航天大学 |
| 孔维强 | 大连理工大学 |
| 王义 | 东北大学 |
| 关楠 | 东北大学 |
| 吴尽昭 | 广西民族大学 |
| 董威 | 国防科技大学 |
| 毛晓光 | 国防科技大学 |
| 刘万伟 | 国防科技大学 |
| 陈振邦 | 国防科技大学 |
| 王戟 | 国防科技大学 |
| 邓玉欣 | 华东师范大学 |
| 徐立华 | 华东师范大学 |
| 刘静 | 华东师范大学 |
| 朱惠彪 | 华东师范大学 |
| 蒲戈光 | 华东师范大学 |
| 吕帅 | 吉林大学 |
| 苏开乐 | 暨南大学 |
| 薛锦云 | 江西师范大学 |
| 张兴元 | 解放军理工大学 |
| 王林章 | 南京大学 |
| 卜磊 | 南京大学 |
| 李宣东 | 南京大学 |
| 赵建华 | 南京大学 |
| 张天 | 南京大学 |
| 魏欧 | 南京航空航天大学 |
| 贺飞 | 清华大学 |
| 王生原 | 清华大学 |
| 曾红卫 | 上海大学 |
| 许庆国 | 上海大学 |
| 缪淮扣 | 上海大学 |
| 傅育熙 | 上海交通大学 |
| 李国强 | 上海交通大学 |
| 董笑菊 | 上海交通大学 |
| 张广泉 | 苏州大学 |
| 李晓红 | 天津大学 |
| 张苗苗 | 同济大学 |
| 王伟 | 同济大学 |
| 段振华 | 西安电子科技大学 |
| 田聪 | 西安电子科技大学 |
| 赵亮 | 西安电子科技大学 |
| 董云卫 | 西北工业大学 |
| 刘志明 | 西南大学 |
| 姜茸 | 云南财经大学 |
| 郑宇军 | 浙江工业大学 |
| 朱维军 | 郑州大学 |
| 周清雷 | 郑州大学 |
| 王超 | 中国科学技术大学 |
| 冯新宇 | 中国科学技术大学 |
| 张昱 | 中国科学技术大学 |
| 叶宏 | 中航工业西安航空计算技术研究所 |
| 胡宁 | 中航工业西安航空计算技术研究所 |
| 林惠民 | 中科院软件所 |
| 詹乃军 | 中科院软件所 |
| 张文辉 | 中科院软件所 |
| 焦莉 | 中科院软件所 |
| 张立军 | 中科院软件所 |
| 刘剑 | 中科院信息工程研究所 |
| 刘江 | 中科院重庆绿色智能技术研究院 |
<<< 上一篇
第六次CCF CSP认证将于12月20日举办
<<< 下一篇 CCF深圳走进大疆创新
读完这篇文章后，您心情如何？
京公网安备 11010802032778号
所有评论仅代表网友意见