Grigore Rosu

Runtime Verification 总裁兼首席执行官。

Grigore Rosu

概述

Grigore Rosu 是伊利诺伊大学厄本那香槟分校的教授，以及 Runtime Verification 总裁兼首席执行官。他是编程语言、形式化验证、软件工程领域的研究员、教育家和企业家，主要目标是设计和开发有助于改善计算系统质量、性能、有效性的技术。

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

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