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 69 out of 1000 (a Good rating) as of October 2026, ranking #12,089 (top 5%) among 493,263 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 15,102 followers as of October 2026 and has published 2,189 posts. Grigore Rosu has been mentioned by 73 accounts a total of 303 times.
Grigore Rosu's portfolio includes Mamori and KITE AI KBW.
Who follows Grigore Rosu on X?
The accounts that follow Grigore Rosu include 229 founders, 67 angel investors, 87 influencers and 1 VCs. Among them are Marc Andreessen, Georgios Konstantopoulos, Dan Robinson, Polygon, Tay and Mario Nawfal.