返回首页

形式化方法专业委员会

( 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
  • 蔡少伟 中国科学院软件研究所研究员 caisw[at]ios.ac.cn
  • 曹钦翔 上海交通大学副教授 caoqinxiang[at]sjtu.edu.cn
  • 曹永知 北京大学教授 caoyz[at]pku.edu.cn
  • 曾红卫 上海大学研究员 zenghongwei[at]shu.edu.cn
  • 陈矗 曲阜师范大学讲师 dowtia[at]126.com
  • 陈钢 南京航空航天大学教授 gangchensh[at]qq.com
  • 陈海波 上海交通大学教授 haibochen[at]sjtu.edu.cn
  • 陈立前 国防科技大学副教授 lqchen[at]nudt.edu.cn
  • 陈林 南京大学副教授 lchen[at]nju.edu.cn
  • 陈铭松 华东师范大学教授 mschen[at]sei.ecnu.edu.cn
  • 陈睿 北京控制工程研究所高级工程师 chenrui[at]sunwiseinfo.com
  • 陈小红 华东师范大学副教授 xhchen[at]sei.ecnu.edu.cn
  • 陈仪香 华东师范大学教授 yxchen[at]sei.ecnu.edu.cn
  • 陈雨亭 上海交通大学副教授 chenyt[at]sjtu.edu.cn
  • 陈哲 南京航空航天大学副教授 zhechen[at]nuaa.edu.cn
  • 陈振邦 国防科技大学副教授 zbchen[at]nudt.edu.cn
  • 崔进 西安石油大学讲师 cuijin_xd[at]126.com
  • 邓玉欣 华东师范大学教授 yxdeng[at]sei.ecnu.edu.cn
  • 董晓刚 北京控制工程研究所研究员 dongxiaogang[at]263.net
  • 董笑菊 上海交通大学副教授 xjdong[at]sjtu.edu.cn
  • 杜德慧 华东师范大学教授 dhdu[at]sei.ecnu.edu.cn
  • 段振华 西安电子科技大学教授 zhhduan[at]mail.xidian.edu.cn
  • 费媛 上海师范大学讲师 asunafy[at]163.com
  • 符鸿飞 上海交通大学助理教授 fuhf[at]cs.sjtu.edu.cn
  • 符宁 西北工业大学副教授 funingg[at]163.com
  • 付春雷 重庆大学高级工程师 clfu[at]cqu.edu.cn
  • 付明 华为技术有限公司 brightfu.gm[at]gmail.com
  • 傅秀涛 北京控制工程研究所高级工程师 fuxiutao820[at]163.com
  • 甘庭 武汉大学讲师 ganting[at]whu.edu.cn
  • 高洪皓 上海大学副教授 gaohonghao[at]shu.edu.cn
  • 葛宁 北京航空航天大学副教授 gening[at]buaa.edu.cn
  • 关楠 东北大学教授 guannan[at]ise.neu.edu.cn
  • 关永 首都师范大学教授 guanyong[at]cnu.edu.cn
  • 郭建 华东师范大学副教授 jguo[at]sei.ecnu.edu.cn
  • 郭鹏 中航工业西安航空计算技术研究所高工 nwpu062475[at]163.com
  • 胡驰 中国工程物理研究院计算机应用研究所 huchi_nudt[at]163.com
  • 胡海洋 杭州电子科技大学教授 sanse1977[at]163.com
  • 胡宁 中航工业西安航空计算技术研究所研究员 hnhawk[at]163.com
  • 胡振江 北京大学教授 zhenjianghu[at]pku.edu.cn
  • 黄志球 南京航空航天大学教授 zqhuang[at]nuaa.edu.cn
  • 江智浩 上海科技大学助理教授、研究员 jiangzhh[at]shanghaitech.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
  • 李建文 华东师范大学研究员 jwli[at]sei.ecnu.edu.cn
  • 李梦君 国防科技大学副教授 mengjun.li[at]163.com
  • 李钦 华东师范大学副教授 qli[at]sei.ecnu.edu.cn
  • 李希萌 首都师范大学讲师 6642[at]cnu.edu.cn
  • 李晓红 天津大学教授 xiaohongli[at]tju.edu.cn
  • 李宣东 南京大学教授 lxd[at]nju.edu.cn
  • 李晅松 南京理工大学副教授 lixs[at]njust.edu.cn
  • 李亚晖 中航工业西安航空计算技术研究所研究员 ml_0902[at]163.com
  • 李言辉 南京大学助理研究员 Yanhuili[at]nju.edu.cn
  • 李弋 复旦大学讲师 liy[at]fudan.edu.cn
  • 李智 广西师范大学教授 zhili[at]mailbox.gxnu.edu.cn
  • 梁洪亮 北京邮电大学副教授 hliang[at]bupt.edu.cn
  • 林望 浙江理工大学副教授 linwang[at]zstu.edu.cn
  • 刘关俊 同济大学教授 liuguanjun[at]tongji.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
  • 龙腾 中国地质大学(北京)副教授 longteng[at]cugb.edu.cn
  • 陆旭 西安电子科技大学副教授 xlu[at]xidian.edu.cn
  • 陆寅 西北工业大学讲师 luyin[at]nwpu.edu.cn
  • 骆翔宇 华侨大学教授 luoxy[at]hqu.edu.cn
  • 吕帅 吉林大学副教授 lus[at]jlu.edu.cn
  • 马卫东 东南大学副教授 mawd[at]seu.edu.cn
  • 马晓星 南京大学教授 xxm[at]nju.edu.cn
  • 马艳芳 淮北师范大学教授 clmyf[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
  • 庞善臣 中国石油大学(华东)教授 Pangsc[at]upc.edu.cn
  • 钱俊彦 广西师范大学教授 qjy2000[at]gmail.com
  • 乔磊 北京控制工程研究所高级工程师 13811459711[at]163.com
  • 裘宗燕 北京大学教授 qzy[at]math.pku.edu.cn
  • 佘志坤 北京航空航天大学教授 zhikun.she[at]buaa.edu.cn
  • 沈博 西北工业大学副教授 shen[at]nwpu.edu.cn
  • 施智平 首都师范大学教授 shizp[at]cnu.edu.cn
  • 石海鹤 江西师范大学教授 haiheshi[at]163.com
  • 舒新峰 西安邮电大学教授 shuxf[at]xupt.edu.cn
  • 宋富 上海科技大学常任副教授、研究员 songfu[at]shanghaitech.edu.cn
  • 苏开乐 南京信息工程大学教授 kailepku[at]gmail.com
  • 孙猛 北京大学教授 sunmeng[at]math.pku.edu.cn
  • 万海 中山大学教授 wanhai[at]mail.sysu.edu.cn
  • 汪洋 华东师范大学副研究员 ywang[at]sei.ecnu.edu.cn
  • 汪宇霆 上海交通大学副教授 yuting.wang[at]sjtu.edu.cn
  • 王昌晶 江西师范大学教授 wcj771006[at]163.com
  • 王超 西南大学副教授 Wangch1[at]swu.edu.cn
  • 王超 中国科学技术大学副教授 cswang[at]ustc.edu.cn
  • 王海峰 北京交通大学教授 hfwang[at]bjtu.edu.cn
  • 王捍贫 北京大学教授 whpxhy[at]pku.edu.cn
  • 王竟亦 浙江大学研究员 wangjyee[at]zju.edu.cn
  • 王林章 南京大学教授 lzwang[at]nju.edu.cn
  • 王猛 河北大学讲师 wangmenghbu[at]hbu.edu.cn
  • 王奇超 陕西师范大学讲师 wangqc[at]snnu.edu.cn
  • 王瑞 首都师范大学教授 rwang04[at]cnu.edu.cn
  • 王生原 清华大学副教授 wwssyy[at]tsinghua.edu.cn
  • 王寿光 浙江工商大学教授 wsg5000[at]hotmail.com
  • 王淑灵 中国科学院软件研究所副研究员 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
  • 向霜晴 华为技术有限公司研发工程师 xiangsqing[at]aliyun.com
  • 肖美华 华东交通大学教授 xiaomh[at]ecjtu.edu.cn
  • 谢宛玲 南京航空航天大学讲师 xiewling[at]aliyun.com
  • 熊英飞 北京大学副教授 xiongyf[at]pku.edu.cn
  • 徐立华 华东师范大学副教授 lhxu[at]cs.ecnu.edu.cn
  • 徐田华 北京交通大学副教授 thxu[at]bjtu.edu.cn
  • 许庆国 上海大学副教授 qgxu[at]mail.shu.edu.cn
  • 许智武 深圳大学副教授 xuzhiwu[at]szu.edu.cn
  • 薛白 中国科学院软件研究所副研究员 xuebai[at]ios.ac.cn
  • 薛建新 上海第二工业大学副教授 jxxue[at]sspu.edu.cn
  • 薛锦云 江西师范大学教授 jinyun[at]vip.sina.com
  • 杨红丽 北京工业大学副教授 yhl.yang[at]gmail.com
  • 杨霞 成都电子科技大学副教授 xyang[at]uestc.edu.cn
  • 杨溢龙 北京航空航天大学助理教授 yilongyang[at]buaa.edu.cn
  • 杨志斌 南京航空航天大学教授 yangzhibin168[at]163.com
  • 杨子江 美国西密西根大学教授 zijiang.yang[at]wmich.edu
  • 应时 武汉大学教授 yingshi [at] whu.edu.cn
  • 于斌 西安电子科技大学讲师 yubin9011[at]126.com
  • 詹博华 中国科学院软件研究所副研究员 bzhan[at]ios.ac.cn
  • 张广泉 苏州大学教授 gqzhang[at]suda.edu.cn
  • 张晋津 南京审计大学副教授 jinjinzhang[at]nau.edu.cn
  • 张立军 中国科学院软件研究所研究员 zhanglj[at]ios.ac.cn
  • 张龙 军事科学院工程师 zhanglong10[at]nudt.edu.cn
  • 张苗苗 同济大学教授 miaomiao[at]tongji.edu.cn
  • 张民 华东师范大学副教授 zhangmin[at]sei.ecnu.edu.cn
  • 张敏 华东师范大学副教授 mzhang[at]sei.ecnu.edu.cn
  • 张南 西安电子科技大学副教授 nanzhang[at]xidian.edu.cn
  • 张鹏 吉林大学讲师 zhangpengccst[at]jlu.edu.cn
  • 张倩颖 首都师范大学副教授 qyzhang[at]cnu.edu.cn
  • 张天 南京大学副教授 ztluck[at]nju.edu.cn
  • 张文辉 中国科学院软件研究所研究员 zwh[at]ios.ac.cn
  • 张昕 北京大学助理教授 xin[at]pku.edu.cn
  • 张兴元 中国人民解放军陆军工程大学教授 xingyuanzhang[at]126.com
  • 张羽丰 湖南大学副教授 yuffonzhang[at]163.com
  • 张昱 中国科学技术大学副教授 yuzhang[at]ustc.edu.cn
  • 赵光锋 唐山师范学院教授 2295382038[at]qq.com
  • 赵建华 南京大学教授 zhaojh[at]nju.edu.cn
  • 赵亮 西安电子科技大学副教授 lzhao[at]xidian.edu.cn
  • 赵永望 浙江大学教授 zhaoyw[at]zju.edu.cn
  • 赵涌鑫 华东师范大学副教授 yxzhao[at]sei.ecnu.edu.cn
  • 郑黎晓 华侨大学副教授 zheng_lixiao[at]163.com
  • 郑炜 西北工业大学副教授 wzheng[at]nwpu.edu.cn
  • 郑宇军 杭州师范大学 yujun.zheng[at]computer.org
  • 周清雷 郑州大学教授 ieqlzhou[at]zzu.edu.cn
  • 朱维军 郑州大学副教授 zhuweijun[at]zzu.edu.cn
  • 祝义 江苏师范大学教授 zhuy[at]jsnu.edu.cn
  • 左正康 江西师范大学教授 zhengkang2005[at]iscas.ac.cn

通讯委员

  • 常瑞 浙江大学副教授 crix1021[at]zju.edu.cn
  • 储著飞 宁波大学副教授 chuzhufei[at]nbu.edu.cn
  • 高栋栋 北京控制工程研究所高级工程师 neargdd[at]126.com
  • 高凤娟 南京理工大学讲师 gaofengjuan_cs[at]163.com
  • 韩莉 华东师范大学副教授 hanli[at]sei.ecnu.edu.cn
  • 冀振燕 北京交通大学副教授 zhyji[at]bjtu.edu.cn
  • 孙涛 内蒙古大学教授 cssunt[at]imu.edu.cn
  • 谭添 南京大学副研究员 tiantan[at]nju.edu.cn
  • 王迪 北京大学助理教授 wayne.wangdi[at]outlook.com
  • 王皓 西安电子科技大学教授 haow[at]ieee.org
  • 肖黎丽 东华大学讲师 xiaolili[at]dhu.edu.cn
  • 谢涛 北京大学教授 taoxie[at]pku.edu.cn
  • 姚培森 浙江大学特聘研究员 pyaoaa[at]zju.edu.cn
  • 尹良泽 国防科技大学副教授 yinliangze[at]163.com
  • 印佳奇 西北工业大学助理教授 jqyin[at]nwpu.edu.cn
  • 游珍 江西师范大学副教授 youzhen[at]jxnu.edu.cn
  • 于婷婷 北京控制工程研究所工程师 yutingtin[at]sunwiseinfo.com
  • 张弘策 香港科技大学(广州)助理教授 hongcezh[at]ust.hk
  • 张文博 上海海洋大学讲师 wbzhang[at]shou.edu.cn
  • 张越龄 华东师范大学副教授 ylzhang[at]sei.ecnu.edu.cn
  • 周文博 东北师范大学讲师 zhouwb646[at]nenu.edu.cn

会议新闻

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

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