Grigore Rosu

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