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