7月6日，西南交通大學(xué)教授,博士生導(dǎo)師,主任, 國際膜計(jì)算學(xué)會(huì)主席張葛祥帶領(lǐng)西南交通大學(xué)系統(tǒng)可信性自動(dòng)驗(yàn)證國家地方聯(lián)合工程實(shí)驗(yàn)室人工智能前沿技術(shù)應(yīng)用研究中心團(tuán)隊(duì)到我公司進(jìn)行參觀考察?？h科技局局長項(xiàng)建、縣紀(jì)委主任科員李好德、縣科技局科員李慧明及公司總裁孫連祥、技術(shù)副總熊文學(xué)陪同接待。