Grigore Rosu 是 Runtime Vеrification 的總裁兼CEO以及 Pi Squared 的創始人兼CEO，同時他還是伊利諾伊大學厄巴納-香檳分校的計算機科學教授。他畢業於加州大學聖地亞哥分校雅各布斯工程學院。