University of Illinois at Urbana-Champaign

Grigore Rosu

Professor of CS, University of Illinois at Urbana-Champaign. President and CEO, Pi Squared, Inc. President and Chief Scientist, Runtime Verification, Inc.

GitHub Website

Followers

101

Public repos

Stars (recent)

Ecosystems

Projects

Repositories this builder owns.

formal-verification-kit

Point any coding agent at this repo and run /formalize and /verify: add K + matching-logic formal specs to your code and construct a correctness proof. Fewer tests, faster CI; finds hidden bugs. Provider-neutral, no install.

—

formally-verified-sum

An experiment in automatically formally verifying AI-generated code: from one prompt, a program plus a complete K-framework reachability proof of its correctness.

—

prime

Session-priming one-liners for Claude Code / Codex CLI / agents — bookmark once, copy-paste forever

—

fast-wallet-audit-assets

Image hosting for fastxyz/fast-wallet#3 audit comment

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Projects

Connected narratives

Related builders

Recent activity