Grigore Rosu
Champaign, Illinois, United States
Summary
👤
Senior🎓
Top SchoolGrigore Rosu is a computer science professor, entrepreneur and founder with over two decades advancing programming languages, formal methods and software engineering through research, teaching and product-building. He leads startups (Runtime Verification, Pi Squared, and Fast) that translate formal verification and runtime monitoring research into practical tools for industry while maintaining a long-standing academic appointment at UIUC. His early work at NASA Ames on program synthesis and verification and a PhD from UC San Diego inform a rare blend of deep theoretical insight and hands-on systems delivery. Known for turning formal techniques into usable software, he focuses on improving software quality, performance and developer productivity in ways that scale beyond laboratory prototypes.
16 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at UC San Diego Jacobs School of Engineering
English, Romanian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (63)
tlaplus10
dataflow-programming10
solidity10
virtual-machine10
semantics10
eda10
hackage10
alfresco10
servant10
maven10
agda9
verification9
evm9
symbolic-execution-engine9
blockchain9
Programming languages (11)
Github contributions (5)
grosu/k
Jan 2015 - Jan 2016
Contributions:101 pushes, 43 branches in 1 year
runtimeverification/erc20-semantics
Nov 2017 - May 2018
ERC20 in K
Contributions:58 commits, 3 PRs, 56 pushes in 5 months
in-kethereumdapps-developmenterc20solidity
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.