鏈聞消息，隱私計算網絡和分佈式經濟體基礎設施 PlatON Network 宣佈伊利諾伊大學厄巴納-香檳分校計算機科學教授 Grigore Rosu 出任 PlatON 技術顧問，Grigore Rosu 將在協議建模和智能合約的形式化驗證等領域爲 PlatON 提供技術幫助。

Grigore Rosu 是科技企業 Runtime Verification 的創始人兼首席執行官，曾任美國國家航空航天局（NASA）研究科學家，並於 2010 年正式創立 Runtime Verification；該公司專注於區塊鏈領域提供軟件測試和驗證方面的產品與服務，運用獨特的動態驗證技術來審覈虛擬機和公鏈上的智能合約。