技术委员会组成名单
系统可信性自动验证国家地方联合工程实验室
技术委员会组成名单
序号 |
姓 名 |
职 务 |
所在单位及职称 |
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 |
朱梧槚 |
委员 |
南京航空航天大学、教授 |