2月21日下午，國信金宏董事長周建、北京創(chuàng)客智盛投資管理有限公司總經(jīng)理胡羊兵、北京創(chuàng)客智盛投資管理有限公司合伙人趙振業(yè)一行到犀浦校區(qū)國地實驗室調(diào)研。

下午2時，他們一行先到3號教學(xué)樓6樓國地實驗室參觀，kaiyun開云官方網(wǎng)站副院長兼國地實驗室專職副主任李志輝結(jié)合宣傳櫥窗內(nèi)容向他們介紹了國地實驗室的概況及取得的研究成果，然后到X30423會議室座談交流。kaiyun開云官方網(wǎng)站執(zhí)行院長兼國地實驗室主任楊晗、副院長兼國地實驗室專職副主任李志輝、國地實驗室副主任韋洪雷、國地實驗室教師陳樹偉、徐鵬、嚴光銀等參加了座談交流。

首先，楊晗院長對董事長周建、總經(jīng)理胡羊兵及趙振業(yè)一行蒞臨kaiyun開云官方網(wǎng)站表示歡迎，然后介紹了國地實驗室成立于kaiyun開云官方網(wǎng)站的歷史緣由，以及國地實驗室立足于kaiyun開云官方網(wǎng)站有利于將實物案例抽象為數(shù)學(xué)模型，再提取數(shù)學(xué)公式，再開發(fā)為系統(tǒng)驗證工具。

李志輝副院長介紹了國地實驗室產(chǎn)、學(xué)、研情況，以及kaiyun開云官方網(wǎng)站促進科技成果轉(zhuǎn)化的先行先試政策，該政策目前的實施情況和取得的成效。

韋洪雷副主任介紹了國地實驗科研成果市場化運作情況和運行案例。

徐鵬老師介紹了系統(tǒng)可信自動驗證開發(fā)平臺及已經(jīng)取得的形式化驗證成果、開發(fā)的自動邏輯推理驗證工具。

國信金宏董事長周建介紹了“國信金宏”的性質(zhì)、成立和成長歷程，其服務(wù)對象是信息技術(shù)與電子政務(wù)用戶，為第三方提供質(zhì)量認證、功能驗證和安全驗證。目前已經(jīng)取得許多項行業(yè)認可的和國家許可的資質(zhì)，但缺乏系統(tǒng)的基礎(chǔ)研究和工具開發(fā)。通過參觀和座談交流，了解到系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室具有這方面的優(yōu)勢，而且對形式化驗證成果、自動邏輯推理驗證工具興趣濃厚，期望后續(xù)增進了解，尋找合作機會。

北京創(chuàng)客智盛投資管理有限公司總經(jīng)理胡羊兵及趙振業(yè)介紹了北京創(chuàng)客智盛投資管理有限公司的情況及個人和kaiyun開云官方網(wǎng)站的情緣，對實驗室開發(fā)的體育大數(shù)據(jù)在四川省的推廣應(yīng)用情況特別關(guān)注。

最后，雙方參與座談的人員對自已感興趣的內(nèi)容和對方進行了交流。雙方都有意愿后續(xù)加深了解，尋求合作機遇，探討合作途徑，共同創(chuàng)造更大的社會效益和經(jīng)濟效益。