深圳2022年11月30日 /美通社/ -- 近日，美國電子電氣工程師學(xué)會（Institute of Electrical and Electronic Engineers，簡稱IEEE）公布新一屆 Fellow 名單，"微眾學(xué)者"、中山大學(xué)教授及軟件工程學(xué)院副院長鄭子彬因其對區(qū)塊鏈可靠性工程的貢獻(xiàn)入選。他也是本屆當(dāng)選IEEE Fellow的最年輕的華人高校學(xué)者之一。
IEEE是國際性的電子技術(shù)與信息科學(xué)工程師的學(xué)會，引領(lǐng)著信號和信息處理、電力、電子、計(jì)算機(jī)、通信、控制、遙感、生物醫(yī)學(xué)、智能交通和太空等技術(shù)領(lǐng)域的最新發(fā)展方向。IEEE Fellow為學(xué)會最高等級會員，是 IEEE 授予成員的最高榮譽(yù)，在學(xué)術(shù)科技界被認(rèn)定為權(quán)威的榮譽(yù)和重要的職業(yè)成就，獲該榮譽(yù)者均為在科學(xué)與工程技術(shù)領(lǐng)域內(nèi)取得重要成就的杰出科學(xué)家。
鄭子彬教授是近年來唯一憑借區(qū)塊鏈領(lǐng)域的成就而當(dāng)選IEEE Fellow的學(xué)者。他主要從事區(qū)塊鏈及智能合約可靠性相關(guān)研究，針對新型的跨合約漏洞難以識別、智能合約符號執(zhí)行路徑爆炸、智能合約模糊測試準(zhǔn)確率較低以及龐氏騙局多發(fā)等問題，提出多個(gè)靜態(tài)分析與動(dòng)態(tài)測試方法，相關(guān)研究成果已發(fā)表于TSE、TOSEM、ICSE、ASE、ISSTA、WWW等國際頂級期刊及會議，論文谷歌學(xué)術(shù)引用超過25,000次。此外，鄭子彬團(tuán)隊(duì)為了解決區(qū)塊鏈可靠性研究中數(shù)據(jù)稀缺的問題，發(fā)布了區(qū)塊鏈可靠性數(shù)據(jù)平臺XBlock.pro，方便廣大科研人員下載使用相關(guān)數(shù)據(jù)集，為區(qū)塊鏈的可靠性提升做出重要貢獻(xiàn)。
鄭子彬教授在區(qū)塊鏈領(lǐng)域的持續(xù)探索，與微眾銀行的科研觀念不謀而合。在由微眾銀行發(fā)起的首屆"微眾學(xué)者計(jì)劃"中，鄭子彬教授承擔(dān)區(qū)塊鏈方向課題，基于FISCO BCOS開源區(qū)塊鏈底層平臺的智能合約場景，構(gòu)建易于使用的智能合約一致性驗(yàn)證及高效的安全性驗(yàn)證平臺。
"微眾學(xué)者計(jì)劃"支持科研實(shí)干者 落地實(shí)踐成果
"微眾學(xué)者計(jì)劃"是由微眾銀行發(fā)起成立的高標(biāo)準(zhǔn)、高規(guī)格的創(chuàng)新研究項(xiàng)目，以科技服務(wù)金融，以金融業(yè)務(wù)實(shí)際需求及未來技術(shù)發(fā)展方向?yàn)橐劳?，旨在通過與高校實(shí)干型優(yōu)秀青年學(xué)者合作，儲備學(xué)術(shù)界及企業(yè)科研力量，聚焦實(shí)際產(chǎn)業(yè)痛點(diǎn)問題，并設(shè)立精準(zhǔn)目標(biāo)，匯聚學(xué)術(shù)界優(yōu)秀青年學(xué)者，為相關(guān)技術(shù)方向的研究合作鋪平道路。一方面，微眾銀行為實(shí)干學(xué)者們提供雄厚資源和成熟平臺的支持；另一方面，也攜手他們扎入行業(yè)第一線，在超過6個(gè)月的真實(shí)商業(yè)環(huán)境體驗(yàn)中，將長期研發(fā)的創(chuàng)新技術(shù)能力打磨迭代，旨在攻克行業(yè)痛點(diǎn)。
在首屆"微眾學(xué)者計(jì)劃"中，包括鄭子彬教授在內(nèi)的5位來自頂尖高校的青年教授攻堅(jiān)產(chǎn)業(yè)痛點(diǎn)，打磨落地成果。目前，5位"微眾學(xué)者"團(tuán)隊(duì)已經(jīng)發(fā)表11篇頂會期刊論文，提交10項(xiàng)高質(zhì)量專利，落地3個(gè)工程化應(yīng)用。他們將在兩年的創(chuàng)新研究合作中，繼續(xù)真實(shí)商業(yè)場景中的研究實(shí)驗(yàn)，聚焦研究金融科技中人工智能、區(qū)塊鏈、云計(jì)算等核心領(lǐng)域，真正做到研以致用。
微眾銀行聯(lián)合中山大學(xué)探索多項(xiàng)合作，推動(dòng)人才和生態(tài)建設(shè)
除"微眾學(xué)者計(jì)劃"之外，鄭子彬教授及其所屬的中山大學(xué)，也與微眾銀行聯(lián)手促成了區(qū)塊鏈人才培養(yǎng)規(guī)劃、區(qū)塊鏈開源社區(qū)生態(tài)的落地實(shí)踐。
在人才培養(yǎng)方面，微眾銀行與中山大學(xué)自2019年起開展區(qū)塊鏈人才培養(yǎng)合作，合作開設(shè)《區(qū)塊鏈原理與技術(shù)》、《區(qū)塊鏈及分布式系統(tǒng)實(shí)訓(xùn)課》兩門區(qū)塊鏈課程，選課人數(shù)逐年提升，已超過500人，已成為最受歡迎的課程之一。目前，已有38位學(xué)生獲得金鏈盟區(qū)塊鏈技術(shù)認(rèn)證證書，且有多名學(xué)生到區(qū)塊鏈相關(guān)企業(yè)實(shí)習(xí)及工作。
在開源社區(qū)生態(tài)建設(shè)方面，鄭子彬教授團(tuán)隊(duì)深度參與FISCO BCOS開源社區(qū)生態(tài)建設(shè)。團(tuán)隊(duì)開發(fā)沖突域分析功能并融入FISCO BCOS v3.0版本，實(shí)現(xiàn)自動(dòng)分析可并行的合約接口，提供合約并行的安全性，解決了此前版本中需要開發(fā)者手動(dòng)標(biāo)識沖突域，智能合約才能并行執(zhí)行的痛點(diǎn)，大大簡化了并行合約的開發(fā)門檻；開發(fā)基于網(wǎng)路約束和搜索規(guī)則的消息探測功能，提高了FISCO BCOS自研AMOP協(xié)議的消息傳輸效率；參與Liquid智能合約語言的測試及推廣工作；總代碼貢獻(xiàn)行數(shù)超過3000行，團(tuán)隊(duì)五名師生入選FISCO BCOS貢獻(xiàn)者榜單。
談到與微眾銀行的合作，鄭子彬表示："微眾區(qū)塊鏈和中山大學(xué)InPlusLab分別作為工業(yè)界和學(xué)術(shù)界的一份子不斷地交流、相互促進(jìn)。我們都希望雙方的合作能產(chǎn)生學(xué)術(shù)界與工業(yè)界的協(xié)同效應(yīng)，實(shí)現(xiàn)優(yōu)勢互補(bǔ)，最終為區(qū)塊鏈技術(shù)發(fā)展和產(chǎn)業(yè)應(yīng)用貢獻(xiàn)重要力量。"
