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.

相关浏览

Steemit 创始人兼首席执行官。

Tendermint 联合创始人，Interchain 基金会主席。

前以太坊 CTO，波卡链、Parity 创始人。

Brave 软件的联合创始人兼首席执行官。

扩展生态系统

超过70+生态系统正在积极增长，同样值得您的关注。