Grigore Rosu is a computer scientist and Professor of Computer Science at University of Illinois at Urbana-Champaign who founded Runtime Verification, Inc. and the K Framework, and now leads Pi Squared, a payments infrastructure project spun out from Runtime Verification. Grigore Rosu's Twitter Score is 63 out of 1000 (a Good rating) as of July 2026, ranking #17,476 (top 5%) among 473,418 tracked accounts.
Grigore Rosu founded Runtime Verification, Inc. in 2010, a company focused on formal verification tooling, before stepping down as its CEO to concentrate on Pi Squared, though he continues to advise the firm. Pi Squared, developed through Pi² Labs, is building Fast, a payment system designed for AI agents and their users. The project raised a $12.5 million seed round from investors including Polychain Capital, ABCDE, Bloccelerate VC, Generative Ventures, Robot Ventures, and Samsung Next. Previously, Grigore Rosu served as a research scientist at NASA Ames Research Center.
Grigore Rosu has 14,745 followers as of July 2026 and has published 2,081 posts. Grigore Rosu has been mentioned by 72 accounts a total of 302 times.
Grigore Rosu's portfolio includes Mamori and KITE AI.
Who follows Grigore Rosu on X?
The accounts that follow Grigore Rosu include 219 founders, 62 angel investors, 117 influencers and 2 VCs. Among them are Polygon, Mario Nawfal, Georgios Konstantopoulos, Dan Robinson, Tay and Emin Gn Sirer.