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.

相關瀏覽

Sam Bankman-Fried

FTX 首席執行官兼創始人。

對紐約風險投資的沉思。

參與主持 TFTC 比特幣播客。

1kx 的創始合夥人。

擴展生態系統

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