形式化方法专业委员会
( Formal methods 缩写为:CCF TCFM)
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延生成为计算思维的重要载体。专委会立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。
联系方式
联系人:董威
地址: 湖南省长沙市开福区国防科技大学计算机学院,410073
电子信箱: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形式化方法专业委员会、华东师范大学、上海交通大学联合承办,上海计算机学会理论专委会、国防科技...