技术委员会

当前位置: 首页 >> 实验室概况 >> 技术委员会

技术委员会组成名单

系统可信性自动验证国家地方联合工程实验室

技术委员会组成名单

序号

姓 名

职 务

所在单位及职称

1

张景中

主 任

中国科学院成都分院、中国科学院院士

2

徐 扬

副主任

西南交通大学、教授

3

Hui Wang

副主任

英国Ulster大学、教授

4

陈尚云

秘书长

西南交通大学、教授

5

曹冲

委员

四川九洲电器集团有限责任公司、研究员级高工

6

陈玉忠

委员

四川九洲电器集团有限责任公司、高级工程师

7

邓小军

委员

中车青岛四方机车车辆股份有限公司、教授级高工

8

杜国平

委员

中国社会科学院哲学所、教授

9

洪 龙

委员

南京邮电大学、教授

10

蒋葛夫

委员

西南交通大学、教授

11

Jun Liu

委员

英国Ulster大学、Reader

12

Luis Martínez

委员

西班牙Jaén大学、教授

13

孙富春

委员

清华大学、教授

14

Geoff Sutcliffe

委员

美国Miami大学、教授

15

王 瑞

委员

中国航天九院,教授级高工

16

虞大联

委员

中车青岛四方机车车辆股份有限公司、教授级高工

17

张 健

委员

中国科学院软件研究所、研究员

18

赵希顺

委员

中山大学、教授

19

朱梧槚

委员

南京航空航天大学、教授