专委会领导

关于TCFM

执行委员

姓名	单位&职称	专委任职
詹乃军	北京大学教授	主任
董威	国防科技大学教授	副主任
田聪	西安电子科技大学教授	副主任
张民	华东师范大学教授	副主任
吴志林	中国科学院软件研究所研究员	秘书长
段振华	西安电子科技大学教授	资深委员
傅育熙	上海交通大学教授	资深委员
刘志明	西南大学教授	资深委员
缪淮扣	上海大学教授	资深委员
薛锦云	江西师范大学教授	资深委员
蒲戈光	华东师范大学教授	常委
董云卫	西北工业大学教授	常委
贺飞	清华大学副教授	常委
陈立前	国防科技大学副教授	常委
陈睿	北京控制工程研究所高级工程师	常委
陈振邦	国防科技大学教授	常委
邓玉欣	华东师范大学教授	常委
董晓刚	北京控制工程研究所研究员	常委
付明	华为技术有限公司	常委
李国强	上海交通大学副教授	常委
刘关俊	同济大学教授	常委
施智平	首都师范大学教授	常委
宋富	中国科学院软件研究所研究员	常委
卜磊	南京大学教授	执行委员
蔡少伟	中国科学院软件研究所研究员	执行委员
曹钦翔	上海交通大学副教授	执行委员
曹永知	北京大学教授	执行委员
常瑞	浙江大学副教授	执行委员
陈矗	曲阜师范大学副教授	执行委员
陈钢	南京航空航天大学教授	执行委员
陈海波	上海交通大学教授	执行委员
陈建辉	华为技术有限公司	执行委员
陈林	南京大学副教授	执行委员
陈明帅	浙江大学研究员	执行委员
陈铭松	华东师范大学教授	执行委员
陈小红	华东师范大学副教授	执行委员
陈仪香	华东师范大学教授	执行委员
陈宇奇	上海科技大学助理教授	执行委员
陈雨亭	上海交通大学副教授	执行委员
陈哲	南京航空航天大学副教授	执行委员
初一	中国科学院软件研究所助理研究员	执行委员
储著飞	宁波大学教授	执行委员
崔进	西安石油大学讲师	执行委员
董笑菊	上海交通大学副教授	执行委员
杜德慧	华东师范大学教授	执行委员
方菱	中国科学院合肥物质分院副研究员	执行委员
费媛	上海师范大学讲师	执行委员
冯新宇	南京大学教授	执行委员
符鸿飞	上海交通大学助理教授	执行委员
付春雷	重庆大学高级工程师	执行委员
傅秀涛	北京控制工程研究所高级工程师	执行委员
甘庭	武汉大学副研究员	执行委员
高栋栋	北京控制工程研究所高级工程师	执行委员
高凤娟	南京理工大学讲师	执行委员
高洪皓	上海大学副教授	执行委员
葛宁	北京航空航天大学副教授	执行委员
顾斌	北京控制工程研究所研究员	执行委员
关楠	香港城市大学副教授	执行委员
关永	首都师范大学教授	执行委员
郭建	华东师范大学副教授	执行委员
郭鹏	中航工业西安航空计算技术研究所高工	执行委员
韩莉	华东师范大学副教授	执行委员
胡驰	中国工程物理研究院计算机应用研究所	执行委员
胡海洋	杭州电子科技大学教授	执行委员
胡宁	中航工业西安航空计算技术研究所研究员	执行委员
胡振江	北京大学教授	执行委员
黄志球	南京航空航天大学教授	执行委员
冀振燕	北京交通大学教授	执行委员
江智浩	上海科技大学助理教授、研究员	执行委员
姜宇	清华大学副教授	执行委员
焦莉	中国科学院软件研究所研究员	执行委员
孔维强	大连理工大学教授	执行委员
李昊坤	华为技术有限公司	执行委员
李建文	华东师范大学研究员	执行委员
李钦	华东师范大学副教授	执行委员
李冉	南京信息工程大学软件学院讲师	执行委员
李希萌	首都师范大学副教授	执行委员
李晓红	天津大学教授	执行委员
李宣东	南京大学教授	执行委员
李晅松	南京理工大学副教授	执行委员
李亚晖	中航工业西安航空计算技术研究所研究员	执行委员
李言辉	南京大学助理研究员	执行委员
李弋	复旦大学讲师	执行委员
李屹	华为技术有限公司	执行委员
李智	广西师范大学教授	执行委员
梁洪亮	北京邮电大学副教授	执行委员
林惠民	中国科学院软件研究所研究员	执行委员
林望	浙江理工大学副教授	执行委员
刘嘉祥	中国科学院软件研究所	执行委员
刘剑	中国科学院信息工程研究所副研究员	执行委员
刘江	中国科学院重庆绿色智能技术研究院副研究员	执行委员
刘瑾	西安理工大学讲师	执行委员
刘靖	内蒙古大学教授	执行委员
刘静	华东师范大学教授	执行委员
刘万伟	国防科技大学教授	执行委员
龙腾	中国地质大学（北京）副教授	执行委员
龙震岳	南方电网公司	执行委员
陆旭	西安电子科技大学副教授	执行委员
陆寅	西北工业大学讲师	执行委员
罗川	北京航空航天大学副教授	执行委员
骆翔宇	华侨大学教授	执行委员
吕帅	吉林大学副教授	执行委员
马菲菲	中国科学院软件研究所研究员	执行委员
马卫东	东南大学副教授	执行委员
马晓星	南京大学教授	执行委员
马艳芳	淮北师范大学教授	执行委员
马智	西安电子科技大学讲师	执行委员
毛晓光	国防科技大学教授	执行委员
聂长海	南京大学教授	执行委员
钮俊	宁波大学副教授	执行委员
潘海玉	桂林电子科技大学研究员	执行委员
庞军	卢森堡大学教授	执行委员
庞善臣	中国石油大学（华东）教授	执行委员
钱俊彦	广西师范大学教授	执行委员
乔磊	北京控制工程研究所研究员	执行委员
裘宗燕	北京大学教授	执行委员
佘志坤	北京航空航天大学教授	执行委员
沈博	西北工业大学副教授	执行委员
施晓牧	中国科学院软件研究所高级工程师	执行委员
石海鹤	江西师范大学教授	执行委员
舒新峰	西安邮电大学教授	执行委员
孙猛	北京大学教授	执行委员
孙涛	内蒙古大学教授	执行委员
谭添	南京大学副研究员	执行委员
万海	中山大学教授	执行委员
汪洋	华东师范大学副研究员	执行委员
汪宇霆	上海交通大学副教授	执行委员
王昌晶	江西师范大学教授	执行委员
王超	中国科学技术大学副教授	执行委员
王超	西南大学副教授	执行委员
王迪	北京大学助理教授	执行委员
王海峰	北京交通大学教授	执行委员
王捍贫	北京大学教授	执行委员
王皓	西安电子科技大学教授	执行委员
王戟	国防科学技术大学教授	执行委员
王竟亦	浙江大学研究员	执行委员
王林章	南京大学教授	执行委员
王猛	河北大学讲师	执行委员
王敏	扬州大学讲师	执行委员
王奇超	陕西师范大学讲师	执行委员
王瑞	首都师范大学教授	执行委员
王生原	清华大学副教授	执行委员
王寿光	浙江工商大学教授	执行委员
王淑灵	中国科学院软件研究所副研究员	执行委员
王文胜	西安电子科技大学讲师	执行委員
王小兵	西安电子科技大学副教授	执行委员
王义	东北大学教授	执行委员
魏晓敏	西安电子科技大学讲师	执行委员
文成	西安电子科技大学讲师	执行委员
文艳军	国防科技大学副教授	执行委员
吴怀广	郑州轻工业学院教授	执行委员
吴鹏	中国科学院软件研究所副研究员	执行委员
夏壁灿	北京大学教授	执行委员
向霜晴	华为技术有限公司研发工程师	执行委员
肖黎丽	东华大学讲师	执行委员
肖美华	华东交通大学教授	执行委员
谢宛玲	南京航空航天大学讲师	执行委员
熊英飞	北京大学副教授	执行委员
许智武	深圳大学副教授	执行委员
薛白	中国科学院软件研究所研究员	执行委员
薛建新	上海第二工业大学副教授	执行委员
杨溢龙	北京航空航天大学助理教授	执行委员
杨志斌	南京航空航天大学教授	执行委员
杨子江	西安交通大学教授	执行委员
姚培森	浙江大学特聘研究员	执行委员
叶宏	中航工业西安航空计算技术研究所副总工程师	执行委员
尹良泽	国防科技大学副教授	执行委员
印佳奇	西北工业大学助理教授	执行委员
应时	武汉大学教授	执行委员
游珍	江西师范大学副教授	执行委员
于斌	西安电子科技大学讲师	执行委员
于千山	中关村国家实验室助理研究员	执行委员
于婷婷	北京控制工程研究所工程师	执行委员
曾红卫	上海大学研究员	执行委员
曾霞	西南大学讲师	执行委员
詹博华	中国科学院软件研究所副研究员	执行委员
张广泉	苏州大学教授	执行委员
张弘策	香港科技大学（广州）助理教授	执行委员
张健	中国科学院软件研究所研究员	执行委员
张晋津	南京审计大学副教授	执行委员
张立军	中国科学院软件研究所研究员	执行委员
张龙	军事科学院工程师	执行委员
张苗苗	同济大学教授	执行委员
张敏	华东师范大学教授	执行委员
张南	西安电子科技大学教授	执行委员
张鹏	吉林大学讲师	执行委员
张倩颖	首都师范大学副教授	执行委员
张天	南京大学副教授	执行委员
张文博	上海海洋大学讲师	执行委员
张文辉	中国科学院软件研究所研究员	执行委员
张昕	北京大学助理教授	执行委员
张兴元	中国人民解放军陆军工程大学教授	执行委员
张羽丰	湖南大学副教授	执行委员
张越龄	华东师范大学副教授	执行委员
赵光锋	唐山师范学院教授	执行委员
赵建华	南京大学教授	执行委员
赵亮	西安电子科技大学副教授	执行委员
赵相福	烟台大学教授	执行委员
赵永望	浙江大学教授	执行委员
赵涌鑫	华东师范大学副教授	执行委员
郑黎晓	华侨大学副教授	执行委员
郑炜	西北工业大学副教授	执行委员
郑宇军	杭州师范大学	执行委员
周清雷	郑州大学教授	执行委员
周文博	东北师范大学讲师	执行委员
朱晨阳	常州大学副教授	执行委员
朱惠彪	华东师范大学教授	执行委员
朱维军	郑州大学副教授	执行委员
祝义	江苏师范大学教授	执行委员
左正康	江西师范大学教授	执行委员

形式化方法专业委员会