返回首页

形式化方法专业委员会

阅读量:395 2022-05-20 收藏本文

形式化方法专业委员会(2020-2023)

任:

国防科技大学,CCF理事

副主任(按姓氏拼音为序):

傅育熙 上海交通大学

蒲戈光 华东师范大学

詹乃军 中科院软件所

秘书长:

国防科技大学


形式化方法专业委员会(2015-2020)

任:

林惠民 中科院软件所

副主任(按姓氏拼音为序):

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

国防科技大学

东北大学

朱惠彪 华东师范大学

秘书长:

詹乃军 中科院软件所