形式化方法专业委员会

形式化方法专业委员会（2020-2023）

主 任：

王 戟 国防科技大学，CCF理事

副主任（按姓氏拼音为序）：

傅育熙 上海交通大学

蒲戈光 华东师范大学

詹乃军 中科院软件所

秘书长：

董 威 国防科技大学

形式化方法专业委员会（2015-2020）

主 任：

林惠民 中科院软件所

副主任（按姓氏拼音为序）：

傅育熙 上海交通大学，CCF理事

王 戟 国防科技大学

王 义 东北大学

朱惠彪 华东师范大学

秘书长：

詹乃军 中科院软件所