Grigore Rosu

Runtime Verification 總裁兼首席執行官。

Grigore Rosu

概述

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

工作經歷

創建終極通用結算層。

Runtime Verification

提升軟件系統的安全性、可靠性和正確性。

作品集

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

相關瀏覽

Circle 的聯合創始人投資者、董事會董事、工程師。

Fantom 基金會模因副總裁。

Hashcash 創始人，Blockstream 執行董事兼主席。

推特和方塊的聯合創始人。

擴展生態系統

超過70+生態系統正在積極增長，同樣值得您的關注。