技术委员会

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

技术委员会组成名单

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

技术委员会组成名单

序号

所在单位及职称

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

朱梧槚

委员

南京航空航天大学、教授