形式化方法专业委员会

( Formal methods 缩写为:CCF TCFM)

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

联系方式

联系人:董威

地址: 湖南省长沙市开福区国防科技大学计算机学院,410073

电子信箱:wdong[at]nudt.edu.cn


往届专委成员

形式化方法专业委员会(2016-2019)


主任

王戟

国防科学技术大学教授

wj[at]nudt.edu.cn

副主任

傅育熙

上海交通大学教授

fu-yx[at]cs.sjtu.edu.cn

蒲戈光

华东师范大学教授

ggpu[at]sei.ecnu.eud.cn

詹乃军

中科院软件所研究员

znj[at]ios.ac.cn

秘书长

董威

国防科技大学教授

wdong[at]nudt.edu.cn

常务委员

  • 董云卫 西北工业大学教授 Yunweidong[at]nwpu.edu.cn
  • 方菱 中国科学院合肥物质分院副研究员 fang.ling[at]outlook.com
  • 冯新宇 南京大学教授 xyfeng[at]nju.edu.cn
  • 顾斌 北京控制工程研究所研究员 gubinbj[at]sina.com
  • 贺飞 清华大学副教授 hefei[at]tsinghua.edu.cn
  • 林惠民 中科院软件所研究员 lhm[at]ios.ac.cn
  • 刘志明 西南大学教授 Zhiming.liu88[at]gmail.com
  • 庞军 卢森堡大学教授 Jun.pang[at]uni.lu
  • 田聪 西安电子科技大学教授 ctian[at]mail.xidian.edu.cn
  • 王义 东北大学教授 wangyi[at]ise.neu.edu.cn
  • 叶宏 中航工业西安航空计算技术研究所副总工程师 mr_yehong[at]163.com
  • 张健 中科院软件所研究员 zj[at]ios.ac.cn
  • 朱惠彪 华东师范大学教授 hbzhu[at]sei.ecnu.edu.cn

委员

  • 卜磊 南京大学副教授 bulei[at]nju.edu.cn
  • 曹永知 北京大学教授 caoyz[at]pku.edu.cn
  • 曾红卫 上海大学研究员 zenghongwei[at]shu.edu.cn
  • 陈矗 西安电子科技大学 dowtia[at]126.com
  • 陈钢 南京航空航天大学教授 gangchensh[at]qq.com
  • 陈立前 国防科技大学助理研究员 lqchen[at]nudt.edu.cn
  • 陈铭松 华东师范大学副教授 mschen[at]sei.ecnu.edu.cn
  • 陈睿 北京控制工程研究所高级工程师 chenrui[at]sunwiseinfo.com
  • 陈雨亭 上海交通大学讲师 chenyt[at]cs.sjtu.edu.cn
  • 陈哲 南京航空航天大学副教授 zhechen[at]nuaa.edu.cn
  • 陈振邦 国防科技大学讲师 zbchen[at]nudt.edu.cn
  • 邓玉欣 华东师范大学教授 yxdeng[at]sei.ecnu.edu.cn
  • 董笑菊 上海交通大学副教授 xjdong[at]sjtu.edu.cn
  • 杜德慧 华东师范大学副教授 dhdu[at]sei.ecnu.edu.cn
  • 段振华 西安电子科技大学教授 zhhduan[at]mail.xidian.edu.cn
  • 符鸿飞 上海交通大学助理教授 fuhf[at]cs.sjtu.edu.cn
  • 符宁 西北工业大学副教授 funingg[at]163.com
  • 甘庭 武汉大学博士后 ganting[at]whu.edu.cn
  • 关楠 东北大学教授 guannan[at]ise.neu.edu.cn
  • 关永 首都师范大学教授 guanyong[at]cnu.edu.cn
  • 郭建 华东师范大学副教授 jguo[at]sei.ecnu.edu.cn
  • 胡海洋 杭州电子科技大学 Sanse1977[at]163.com
  • 胡宁 中航工业西安航空计算技术研究所研究员 hnhawk[at]163.com
  • 黄志球 南京航空航天大学教授 zqhuang[at]nuaa.edu.cn
  • 姜茸 云南财经大学教授 okgoodbetterbest[at]163.com
  • 姜宇 清华大学助理教授 jy1989[at]mail.tsinghua.edu.cn
  • 焦莉 中科院软件所研究员 ljiao[at]ios.ac.cn
  • 孔维强 大连理工大学教授 wqkong[at]dlut.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
  • 李晅松 南京理工大学讲师 lixs[at]njust.edu.cn
  • 李智 广西师范大学教授 zhili[at]mailbox.gxnu.edu.cn
  • 刘剑 中科院信息工程研究所副研究员 Liujian6[at]iie.ac.cn
  • 刘江 中科院重庆绿色智能技术研究院副研究员 liujiang[at]cigit.ac.cn
  • 刘靖 内蒙古大学副教授 liujing[at]imu.edu.cn
  • 刘静 华东师范大学教授 jliu[at]sei.ecnu.edu.cn
  • 刘万伟 国防科技大学副教授 wwliu[at]nudt.edu.cn
  • 陆寅 西北工业大学讲师 luyin[at]nwpu.edu.cn
  • 吕帅 吉林大学讲师 lus[at]jlu.edu.cn
  • 马卫东 核9院 bobmars[at]163.com
  • 毛晓光 国防科技大学教授 xgmao[at]nudt.edu.cn
  • 缪淮扣 上海大学教授 hkmiao[at]shu.edu.cn
  • 聂长海 南京大学教授 changhainie[at]nju.edu.cn
  • 钮俊 宁波大学副教授 niujun[at]nbu.edu.cn
  • 潘海玉 桂林电子科技大学教授 phyu76[at]126.com
  • 钱俊彦 桂林电子科技大学教授 qjy2000[at]gmail.com
  • 乔磊 北京控制工程研究所高级工程师 13811459711[at]163.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
  • 王超 中国科学技术大学副研究员 cswang[at]ustc.edu.cn
  • 王海峰 北京交通大学教授 hfwang[at]bjtu.edu.cn
  • 王捍贫 北京大学教授 whpxhy[at]pku.edu.cn
  • 王林章 南京大学教授 lzwang[at]nju.edu.cn
  • 王瑞 首都师范大学讲师 rwang04[at]cnu.edu.cn
  • 王生原 清华大学副教授 wwssyy[at]tsinghua.edu.cn
  • 王淑灵 中科院软件所助研 wangsl[at]ios.ac.cn
  • 王伟 同济大学副教授 wwang[at]tongji.edu.cn
  • 王小兵 西安电子科技大学副教授 xbwang[at]mail.xidian.edu.cn
  • 文艳军 国防科技大学副教授 yjwen[at]nudt.edu.cn
  • 吴怀广 郑州轻工业学院教授 hgawu[at]126.com
  • 吴尽昭 广西民族大学教授 himrwujzh[at]aliyun.com
  • 吴鹏 中国科学院软件研究所副研究员 wp[at]ios.ac.cn
  • 吴志林 中国科学院软件研究所副研究员 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
  • 杨霞 成都电子科技大学讲师 xyang[at]uestc.edu.cn
  • 杨志斌 南京航空航天大学副研究员 yangzhibin168[at]163.com
  • 杨子江 美国西密西根大学教授 zijiang.yang[at]wmich.edu
  • 张广泉 苏州大学教授 gqzhang[at]suda.edu.cn
  • 张立军 中科院软件所研究员 zhanglj[at]ios.ac.cn
  • 张苗苗 同济大学研究员 miaomiao[at]tongji.edu.cn
  • 张民 华东师范大学副教授 zhangmin[at]sei.ecnu.edu.cn
  • 张敏 华东师范大学副教授 mzhang[at]sei.ecnu.edu.cn
  • 张倩颖 首都师范大学讲师 qyzhang[at]cnu.edu.cn
  • 张天 南京大学副教授 ztluck[at]nju.edu.cn
  • 张文辉 中科院软件所研究员 zwh[at]ios.ac.cn
  • 张兴元 解放军理工大学教授 xingyuanzhang[at]126.com
  • 张昱 中国科学技术大学副教授 yuzhang[at]ustc.edu.cn
  • 赵光峰 唐山师范学院教授 2295382038[at]qq.com
  • 赵建华 南京大学教授 Zhaojh[at]nju.edu.cn
  • 赵亮 西安电子科技大学讲师 lzhao[at]xidian.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

会议新闻

第四届全国形式化方法与应用会议在上海召开

2019年11月30日至12月1日,第四届全国形式化方法与应用会议(FMAC 2019,会议编号CCF-19-TC34-01N)在华东师范大学科学会堂召开。会议由中国计算机学会(CCF)主办,CCF形式化方法专业委员会、华东师范大学、上海交通大学联合承办,上海计算机学会理论专委会、国防科技...