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