多媒体技术
服务计算
高性能计算
工业控制计算机
互联网
计算机安全
计算机辅助设计与图形学
计算机工程与工艺
计算机视觉
计算机应用
教育
金融信息处理
分布式计算与系统
抗恶劣环境计算机
理论计算机科学
普适计算
人工智能与模式识别
人机交互
容错计算
软件工程
数据库
体系结构
网络与数据通信
物联网
嵌入式系统
系统软件
协同计算
信息保密
信息存储技术
信息系统
虚拟现实与可视化技术
中文信息技术
大数据专家委员会
形式化方法专业组
生物信息学专业组
首页>>专业委员会>>形式化方法专业组
形式化方法专业组
(CCF Task Force on Formal methods 缩写为:CCF TFFM)

形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延生成为计算思维的重要载体。专业组立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。

联系方式
  联系人:詹乃军
  地址: 北京市海淀区中关村南四街4号,100190
  电话: 010-62661615
  电子信箱:znj[at]ios.ac.cn

2016年学术会议

形式化方法专业组-中国计算机学会信息网
全国形式化方法年会
11月12日-13日 北京
联系: 王戟 wj[at]nudt.edu.cn
 <回到顶部>
主 任
形式化方法专业组-中国计算机学会信息网
林惠民 中国科学院软件所研究员
lhm[at]ios.ac.cn
[ 个人主页 ]
 <回到顶部>
秘书长
形式化方法专业组-中国计算机学会信息网
詹乃军 中国科学院软件所研究员
znj[at]ios.ac.cn
[ 个人主页 ]
 <回到顶部>
副主任(按姓氏拼音排序)
形式化方法专业组-中国计算机学会信息网
傅育熙 上海交通大学教授
fu-yx[at]cs.sjtu.edu.cn
[ 个人主页 ]
形式化方法专业组-中国计算机学会信息网
王 戟 国防科技大学教授
wj[at]nudt.edu.cn
[ 个人主页 ]
形式化方法专业组-中国计算机学会信息网
王 义 东北大学教授
wangyi[at]ise.neu.edu.cn
[ 个人主页 ]
形式化方法专业组-中国计算机学会信息网
朱惠彪 华东师范大学教授
hbzhu[at]sei.ecnu.edu.cn
[ 个人主页 ]
 <回到顶部>
委 员(按姓氏拼音排序)
形式化方法专业组-中国计算机学会信息网
卜 磊 南京大学副教授 bulei[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
曹永知 北京大学教授 caoyz[at]pku.edu.cn
形式化方法专业组-中国计算机学会信息网
陈立前 国防科技大学助理研究员 lqchen[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
陈振邦 国防科技大学讲师 zbchen[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
陈铭松 华东师范大学副教授 mschen[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
陈雨亭 上海交通大学讲师 chenyt[at]cs.sjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
邓玉欣 华东师范大学教授 yxdeng[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
董 威 国防科技大学教授 wdong[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
董笑菊 上海交通大学副教授 xjdong[at]sjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
董云卫 西北工业大学教授 Yunweidong[at]nwpu.edu.cn
形式化方法专业组-中国计算机学会信息网
杜德慧 华东师范大学副教授 dhdu[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
杜彦华 北京科技大学副教授 duyanhua[at]ustb.edu.cn
形式化方法专业组-中国计算机学会信息网
段振华 西安电子科技大学教授 zhhduan[at]mail.xidian.edu.cn
形式化方法专业组-中国计算机学会信息网
方 菱 中国科学院合肥物质分院副研究员 fang.ling[at]outlook.com
形式化方法专业组-中国计算机学会信息网
冯新宇 中国科学技术大学教授 xyfeng[at]ustc.edu.cn
形式化方法专业组-中国计算机学会信息网
顾 斌 北京控制工程研究所研究员 gubinbj[at]sina.com
形式化方法专业组-中国计算机学会信息网
关 楠 东北大学教授 guannan[at]ise.neu.edu.cn
形式化方法专业组-中国计算机学会信息网
关 永 首都师范大学教授 guanyong[at]cnu.edu.cn
形式化方法专业组-中国计算机学会信息网
郭 建 华东师范大学副教授 jguo[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
贺 飞 清华大学副教授 hefei[at]tsinghua.edu.cn
形式化方法专业组-中国计算机学会信息网
胡海洋 国防科技大学教授 Sanse1977[at]163.com
形式化方法专业组-中国计算机学会信息网
胡 宁 中航工业西安航空计算技术研究所研究员 hnhawk[at]163.com
形式化方法专业组-中国计算机学会信息网
黄志球 南京航空航天大学教授 zqhuang[at]nuaa.edu.cn
形式化方法专业组-中国计算机学会信息网
姜 茸 云南财经大学教授 okgoodbetterbest[at]163.com
形式化方法专业组-中国计算机学会信息网
焦 莉 中科院软件所研究员 ljiao[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
孔维强 大连理工大学教授 wqkong[at]dlut.edu.cn
形式化方法专业组-中国计算机学会信息网
李 智 广西师范大学教授 zhili[at]gxnu.edu.cn
形式化方法专业组-中国计算机学会信息网
李广元 中科院软件所研究员 ligy[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
李国强 上海交通大学副教授 li.g[at]sjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
李梦君 国防科技大学副教授 mengjun.li[at]163.com
形式化方法专业组-中国计算机学会信息网
李晓红 天津大学教授 xiaohongli[at]tju.edu.cn
形式化方法专业组-中国计算机学会信息网
李宣东 南京大学教授 lxd[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
刘 剑 中科院信息工程研究所副研究员 Liujian6[at]iie.ac.cn
形式化方法专业组-中国计算机学会信息网
刘 江 中科院重庆绿色智能技术研究院副研究员 liujiang[at]cigit.ac.cn
形式化方法专业组-中国计算机学会信息网
刘 静 华东师范大学教授 jliu[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
刘万伟 国防科技大学副教授 wwliu[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
刘志明 西南大学教授 Zhiming.liu88[at]gmail.com
形式化方法专业组-中国计算机学会信息网
吕 帅 吉林大学讲师 lus[at]jlu.edu.cn
形式化方法专业组-中国计算机学会信息网
毛晓光 国防科技大学教授 xgmao[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
缪淮扣 上海大学教授 hkmiao[at]shu.edu.cn
形式化方法专业组-中国计算机学会信息网
聂长海 南京大学教授 changhainie[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
钮 俊 宁波大学副教授 niujun[at]nbu.edu.cn
形式化方法专业组-中国计算机学会信息网
庞 军 卢森堡大学教授 Jun.pang[at]uni.lu
形式化方法专业组-中国计算机学会信息网
蒲戈光 华东师范大学教授 ggpu[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
钱俊彦 桂林电子科技大学教授 qjy2000[at]gmail.com
形式化方法专业组-中国计算机学会信息网
裘宗燕 北京大学教授 qzy[at]math.pku.edu.cn
形式化方法专业组-中国计算机学会信息网
佘志坤 北京航空航天大学教授 zhikun.she[at]buaa.edu.cn
形式化方法专业组-中国计算机学会信息网
施志平 首都师范大学副研究员 Shizp[at]cnu.edu.cn
形式化方法专业组-中国计算机学会信息网
宋 富 华东师范大学讲师 fsong[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
苏开乐 暨南大学教授 kailepku[at]gmail.com
形式化方法专业组-中国计算机学会信息网
孙 猛 北京大学副教授 sunmeng[at]math.pku.edu.cn
形式化方法专业组-中国计算机学会信息网
田 聪 西安电子科技大学教授 ctian[at]mail.xidian.edu.cn
形式化方法专业组-中国计算机学会信息网
王 超 中国科学技术大学副研究员 cswang[at]ustc.edu.cn
形式化方法专业组-中国计算机学会信息网
王 瑞 首都师范大学讲师 rwang04[at]cnu.edu.cn
形式化方法专业组-中国计算机学会信息网
王 伟 同济大学副教授 wwang[at]tongji.edu.cn
形式化方法专业组-中国计算机学会信息网
王海峰 北京交通大学教授 hfwang[at]bjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
王捍贫 北京大学教授 whpxhy[at]pku.edu.cn
形式化方法专业组-中国计算机学会信息网
王林章 南京大学教授 lzwang[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
王生原 清华大学副教授 wwssyy[at]tsinghua.edu.cn
形式化方法专业组-中国计算机学会信息网
王淑灵 中科院软件所助研 wangsl[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
王小兵 西安电子科技大学副教授 xbwang[at]mail.xidian.edu.cn
形式化方法专业组-中国计算机学会信息网
魏 欧 南京航空航天大学副教授 owei[at]nuaa.edu.cn
形式化方法专业组-中国计算机学会信息网
文艳军 国防科技大学副教授 yjwen[at]nudt.edu.cn
形式化方法专业组-中国计算机学会信息网
吴 鹏 中国科学院软件研究所副研究员 wp[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
吴怀广 郑州轻工业学院教授 hgawu[at]126.com
形式化方法专业组-中国计算机学会信息网
吴尽昭 广西民族大学教授 himrwujzh[at]aliyun.com
形式化方法专业组-中国计算机学会信息网
吴志林 中国科学院软件研究所副研究员 wuzl[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
夏壁灿 北京大学教授 xbc[at]math.pku.edu.cn
形式化方法专业组-中国计算机学会信息网
肖美华 华东交通大学教授 xiaomh[at]ecjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
徐立华 华东师范大学副教授 lhxu[at]cs.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
徐田华 北京交通大学副教授 thxu[at]bjtu.edu.cn
形式化方法专业组-中国计算机学会信息网
许庆国 上海大学教师 qgxu[at]mail.shu.edu.cn
形式化方法专业组-中国计算机学会信息网
薛建新 上海第二工业大学副教授 jxxue[at]sspu.edu.cn
形式化方法专业组-中国计算机学会信息网
薛锦云 江西师范大学教授 jinyun[at]vip.sina.com
形式化方法专业组-中国计算机学会信息网
杨红丽 北京工业大学副教授 yhl.yang[at]gmail.com
形式化方法专业组-中国计算机学会信息网
杨志斌 南京航空航天大学副研究员 yangzhibin168[at]163.com
形式化方法专业组-中国计算机学会信息网
叶 宏 中航工业西安航空计算技术研究所副总工程师 mr_yehong[at]163.com
形式化方法专业组-中国计算机学会信息网
曾红卫 上海大学研究员 zenghongwei[at]shu.edu.cn
形式化方法专业组-中国计算机学会信息网
张 健 中科院软件所研究员 zj[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
张 民 华东师范大学副教授 zhangmin[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
张 敏 华东师范大学副教授 mzhang[at]sei.ecnu.edu.cn
形式化方法专业组-中国计算机学会信息网
张 鹏 吉林大学讲师 zhangpengccst[at]jlu.edu.cn
形式化方法专业组-中国计算机学会信息网
张 天 南京大学副教授 ztluck[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
张 昱 中国科学技术大学副教授 yuzhang[at]ustc.edu.cn
形式化方法专业组-中国计算机学会信息网
张广泉 苏州大学教授 gqzhang[at]suda.edu.cn
形式化方法专业组-中国计算机学会信息网
张立军 中科院软件所研究员 zhanglj[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
张苗苗 同济大学研究员 miaomiao[at]tongji.edu.cn
形式化方法专业组-中国计算机学会信息网
张倩颖 首都师范大学讲师 qyzhang[at]cnu.edu.cn
形式化方法专业组-中国计算机学会信息网
张文辉 中科院软件所研究员 zwh[at]ios.ac.cn
形式化方法专业组-中国计算机学会信息网
张兴元 解放军理工大学教授 xingyuanzhang[at]126.com
形式化方法专业组-中国计算机学会信息网
赵 亮 西安电子科技大学讲师 lzhao[at]xidian.edu.cn
形式化方法专业组-中国计算机学会信息网
赵光锋 唐山师范学院教授 2295382038[at]qq.com
形式化方法专业组-中国计算机学会信息网
赵建华 南京大学教授 Zhaojh[at]nju.edu.cn
形式化方法专业组-中国计算机学会信息网
赵永望 北京航空航天大学副教授 zhaoyw[at]buaa.edu.cn
形式化方法专业组-中国计算机学会信息网
郑宇军 浙江工业大学副教授 yujun.zheng[at]computer.org
形式化方法专业组-中国计算机学会信息网
周清雷 郑州大学教授 ieqlzhou[at]zzu.edu.cn
形式化方法专业组-中国计算机学会信息网
朱维军 郑州大学副教授 zhuweijun[at]zzu.edu.cn
形式化方法专业组-中国计算机学会信息网
祝 义 江苏师范大学教授 zhuy[at]jsnu.edu.cn
 <回到顶部>
 
版权所有 中国计算机学会 技术支持:北京中科辅龙计算机技术股份有限公司
联系电话:(+86)10 6256 2503 邮件:ccf@ccf.org.cn  网站分辨率建议:1024×768
京ICP备13000930号-4  京公网安备11010802017125号