关于TCFM
CCF形式化方法专业委员会 > 关于TCFM > 专委会领导
形式化方法专业委员会
詹乃军
中国科学院软件研究所
znj[at]ios.ac.cn
董威
国防科技大学教授
wdong[at]nudt.edu.cn
田聪
西安电子科技大学教授
ctian[at]mail.xidian.edu.cn
张民
华东师范大学
znj[at]ios.ac.cn
吴志林
中国科学院软件研究所研究员
wuzl[at]ios.ac.cn
陈立前国防科技大学副教授
陈睿北京控制工程研究所高级工程师
陈振邦国防科技大学教授
邓玉欣华东师范大学教授
董晓刚北京控制工程研究所
董云卫西北工业大学教授
付明华华为技术有限公司
贺飞清华大学副教授
李国强上海交通大学副教授
刘关俊同济大学计算机科学系
蒲戈光华东师范大学教授
施智平首都师范大学教授
宋富中国科学院软件研究所