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