Grigore Rosu

Runtime Verification 總裁兼首席執行官。

Grigore Rosu

Grigore Rosu 是伊利諾伊大學厄本那香檳分校的教授，以及 Runtime Verification 總裁兼首席執行官。他是編程語言、形式化驗證、軟件工程領域的研究員、教育家和企業家，主要目標是設計和開發有助于改善計算系統質量、性能、有效性的技術。

Facebook穩定幣項目Diem Networks US就建立金融犯罪合規框架與K2 Integrity達成合作:金色財經報道，K2 Integrity宣布與Diem Networks US達成合作，以支持、初步領導并繼續為Diem Networks US的金融情報部門FIF構建創新解決方案。據悉，FIF旨在保護Diem支付網絡(DPN) 免受非法金融活動的影響。Diem Networks US首席執行官Stuart Levey表示，設計一個設定了高金融犯罪合規標準的框架一直是Diem項目的首要任務之一，K2 Integrity的團隊在該領域擁有豐富的經驗。[2021/8/12 1:49:48]

DMCC推出基于區塊鏈的農產品貿易和采購平臺Agriota:迪拜多商品中心（DMCC）今天推出了Agriota E-Marketplace。這是一個技術驅動的農業商品（agri-commodity）貿易和采購平臺，利用區塊鏈技術幫助構建印度農民和阿聯酋的食品行業之間的橋梁，由印度CropData Technology公司聯合開發。Agriota平臺為印度農民提供了與阿聯酋整個食品行業直接聯系的機會，包括食品加工公司、貿易商和批發商。市場允許他們繞過中間商，優化供應鏈，確保可追溯性，為所有利益相關者創造價值。農民可以直接參與阿聯酋市場的巨大需求。這種方式將增強當地社區的能力，提供更好的農產品，并擴大阿聯酋的長期糧食安全。最初，該平臺將提供谷物、豆類、油籽、水果、蔬菜、香料和調味品。（Albawaba）[2020/8/27]

現場 | Agriledger創始人吉納維芙：區塊鏈與農業的結合很有意義:金色財經現場報道，今日，2018中國國際區塊鏈產業融合峰會暨區塊鏈產品與應用展在石家莊舉行，Agriledger創始人、英國區塊鏈協會副主席吉納維芙提到，區塊鏈與農業的結合很有意義，運用區塊鏈能夠進行產品基本情況數據分析、農戶種植經驗分析、數據庫市場預估、未來一年天氣預報、作物基本情況分析、土壤數據分析等。通過智能算法分析數據，還可以達成數字資產融資、農業信托服務、農業授信服務，有了高性能的區塊鏈，可以對農戶的預期農業行為進行分析，并得出合理預期，從而為農民提供各類金融服務。

她提到區塊鏈＋農業的產品運作流程：每個農民都有一個數字身份，與二維碼結合使用；查看市場趨勢，以更好地規劃并獲取對農作物價值的洞察；讓買家知道有什么(農作物) ，什么時候可以獲取；數字賬本與數字身份相關聯，有助于證明收入、并在需要時獲得財務幫助。[2018/9/21]

Tags：數據分析 Grigore Rosu